feat(src/cmath/cil2smt): add ssa transformation.