marked Term#hashCode to be transient
made UninterpretedConstraint immutable
Merge pull request #914 from yilongli/make-field-hashcode-transient

Make Term#hashcode in Java backend transient