Verifier complains about inconsistent out edges.