{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"onebefore.push(pat)"}]}
            onebefore.push(pat)
        if gap == this_range.hi {
        } else if gap.plus_one() == Some(this_range.lo) {