functor (G : WeiMaoZouChenInput->
  sig val identify_loops : G.graph -> G.tenv end