support for abstracting floats and strings to a partial order relation; use --smt_prelude with string.smt2