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