Terms that appear in constraints.
Returns the value of this term given an assignment of values to every variable in the term.
Return the node that will represent this term in the constraint graph.