BinOpLit division by zero removed from test list - the zero cannot be tainted => exception does not need tainting