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