Added assertPair method to ReachabilityPCE test