Fixed a parenthesis bug for the modulo operator
Merge branch 'master' of git@github.com:hhu-stups/tla2b.git