fix(cil2smt2): fix a bug in handling "if-then-else"