Found new bugs in analyser with modulo operator, analyser disabled