Function may_repeat 

fn may_repeat(key: u64) -> bool

The five Range Filters, of which four may be nested. Only these may repeat.

Section 3.3.2 lets the Range Filters “appear multiple times”, and Section 9.20 forbids a repeat of anything else. A repeat is encoded as a Type Delta of 0, which is the only encoding a second instance of an ascending chain has.