made UninterpretedConstraint immutable