feat(src/cmath/cil2smt): basic implementation

1. The Simplify extension is not strong enough. I will try cil's SSA extension. 
2. I don't have write permission to the repo.