Function may_repeat 

fn may_repeat(key: u64) -> bool

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

Section 5.1.4 lets the Range Filters “appear multiple times”, and Section 10.2 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.