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