let is_back_edge e = match !(CFG.E.label e) with
  | Eback | EbackThen | EbackElse -> true
  | Enone | Ethen | Eelse -> false