fix(cil2smt2): remove debug msg