Another CCP bugfix
Fixes analysis of read nodes in CCP; we were previously ignoring the indices but we need to account for their reachability to ensure we properly mark read nodes as unreachable if any of their position arguments are unreachable.
Fixes analysis of read nodes in CCP; we were previously ignoring the indices but we need to account for their reachability to ensure we properly mark read nodes as unreachable if any of their position arguments are unreachable.