it.unich.scalafix.finite.DFOrdering
Every edge may be of three different kinds: Advancing, Retreating and Cross.
Every edge may be of three different kinds: Advancing, Retreating and Cross.