made the fields of SymbolicConstraint to be private again