Added some ReachabilityPCE documentation