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.
