Some code that should clean up empty blocks, and only consider variable matches in the first operand of a compare
Creates one error block that all bounds checks will point to