/root/.sdkman/candidates/java/8.0.275.open-adpt/bin/java -jar smtinterpol.jar -no-success -smt2 /storage/repos/smtlib/QF_BV/20170501-Heizmann-UltimateAutomizer/modulus_true-unreach-call_true-no-overflow.i_242.smt2


--------------------------------------------------------------------------------


insertEQ: true true
insertEQ: c_main_~m~6 c_main_~m~6
insertEQ: (bvurem c_main_~n~6 c_main_~d~6) (bvurem c_main_~n~6 c_main_~d~6)
insertEQ: c_main_~d~6 c_main_~d~6
insertEQ: (bvurem c_main_~n~6_primed c_main_~d~6) (bvurem c_main_~n~6_primed c_main_~d~6)