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