smt2 → prop Relation

File in src/solvers/smt2	Includes file in src/solvers/prop
smt2_conv.cpp	literal_expr.h
smt2_conv.h	literal.h