feat(src/cmath/cil2smt): basic implementation

1. The Simplify extension is not strong enough.