let add_hyp h p = Fol.pimplies (h, p)