cvc4 → util Relation

File in src/solvers/cvc4	Includes file in src/util
cvc_conv.cpp	lang / c_types.h
cvc_conv.cpp	arith / mp_arith.h