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