let labels_fct_pre l = match l with
  | LogicLabel "Pre" | LogicLabel "Here" -> LogicLabel "Pre"
  | _ -> raise (LabelError l)