`ProtocolGraphWalker._is_satisfied` should not travel all the paths.