feat(cil2smt.ml): encode array expression