mathsat → util Relation

File in src/solvers/mathsat	Includes file in src/util
mathsat_conv.cpp	lang / c_types.h
mathsat_conv.cpp	expr / expr_util.h