Merge isReachable into isBackedge.

Prefer using RPO.lookup() instead of RPO[] which can mutate the map.