Handle ands with 0 and shifts by 0 correctly. These aren't