The reachability PCE propagates the constraints to the path segments