That was the same bug. - Using IGNORE_PUSH groups in c_rotate makes sense of course - we'll implement that.