let set_back_edge e =
let info = CFG.E.label e in
match !info with
| Eback | EbackThen | EbackElse -> ()
| Enone -> info := Eback
| Ethen -> info := EbackThen
| Eelse -> info := EbackElse
| Ecase _ | Enext -> assert false