-- type constructor
type ProofObl = (Id,[Clause],[Clause])