yices → util Relation

File in src/solvers/yices	Includes file in src/util
yices_conv.cpp	arith / mp_arith.h