Migrate the shift statement
Fix the performance regression due to binary expressions