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