started adding documents for class SymbolicConstraint