Make sure that the address matcher correctly handles Shl(x, 1)