feat(src/cmath/cil2smt): basic implementation

1. The Simplify extension is not strong enough.
feat(src/cmath/cil2smt): add ssa transformation.