let is_back_edge e = match (edge_type e) with | Eback | EbackThen | EbackElse -> true | Enone | Ethen | Eelse | Ecase _ | Enext -> false