let pretty fmt e = 
    let txt = match e with 
      | Enone -> "----" | Ethen -> "then" | Eelse -> "else" 
      | Eback -> "back" | EbackThen -> "then-back" | EbackElse -> "else-back"
    in Format.fprintf fmt "%s" txt