chore: move .merlin
tests(cil2smt2): add more tests
fix(cil2smt2): disable dumpfile
fix(cil2smt2): make unique "not now" message