feat(cil2smt.ml): support limited switch statment.