prop → util Relation

File in src/solvers/prop	Includes file in src/util
pointer_logic.cpp	arith / arith_tools.h
pointer_logic.cpp	config / config.h
pointer_logic.cpp	base / i2string.h
pointer_logic.cpp	base / prefix.h
pointer_logic.cpp	irep / std_expr.h
pointer_logic.cpp	expr / type_byte_size.h
pointer_logic.h	irep / expr.h
pointer_logic.h	arith / mp_arith.h
pointer_logic.h	base / numbering.h