Support for abs in SMT-LIB