feat(cil2smt): support cast expression