smt2_incremental → prop Relation

File in src/solvers/smt2_incremental	Includes file in src/solvers/prop
convert_expr_to_smt.cpp	literal_expr.h