Remove duplicate binop handling from memOutOfBounds#2066

sim642 wants to merge 4 commits into

mastergoblint/analyzer:masterfrom

memOutOfBounds-binopgoblint/analyzer:memOutOfBounds-binopCopy head branch name to clipboard