Add shifts after every command (instead of a Collapse with no adds)
Add the WhileShift, which handle the [>>>] type of expression