reverted skip applied to repeaters; its productions should skip for it.
correctly propagate the skip setting.