harpoon.Util.Constraints
Classes 
InclusionConstraints
InclusionConstraints.AtomSet
InclusionConstraints.Term
InclusionConstraints.TermVisitor
InclusionConstraints.Var
Exceptions 
Unfeasible