Implement PairwiseInternalReachabilityChecker