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