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