relax outedge verifier a bit: anchor nodes are actually reachable