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