Added a rule to replace bitshifts by a constant value to a divide by the corresponding power of two.