Check for division overflow in modulo operations#1935

sim642 wants to merge 4 commits intomastergoblint/analyzer:masterfrom

overflow-modgoblint/analyzer:overflow-modCopy head branch name to clipboard