fix(cil2smt2): fix wrong pattern matching for type
refactor(cil2smt2): remove unused functions