enum Constraint
case Constraint(HeadPredicate, Vector[BodyPredicate])
instance PredSymsOf[Constraint]
instance SubstitutePredSym[Constraint]
instance ToString[Constraint]