Fix bug with division in arithmetics, remove MOD operation
fix bug with missing paranthesis after predicate name
compile binary