changed RuntimeException to UnsupportedOperationException in SymbolicConstraint