ReachabilityPCE now detects NSA loops