let mk_axiom_id name  = mk_prop PKProp (Property.IPAxiom name)