* fix typo
* better check of fori stmt expressions
* better check of boolean condition of while and if stmts