also walk dependencie edges in outedges verifier