Comments on the translator.
For loops! Probably!
Merge branch 'master' of https://github.com/shargoj/c2smt