fact: Definition dual_dst e := src g e.
imports: Coq.Classes.Equivalence Coq.Classes.EquivDec VST.msl.Coqlib2 CertiGraph.graph.graph_model CertiGraph.graph.path_lemmas CertiGraph.graph.reachable_ind CertiGraph.graph.subgraph2