-Prefix Reachability: POMReachability