theories → util Relation

File in src/solvers/smt2_incremental/theories	Includes file in src/util
smt_bit_vector_theory.cpp	invariant.h