{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
        // self > max(invoc, binding) => !(self <= invoc || self <= binding)
    ) -> bool {
        // Expansions are partially ordered, so "may appear after" is an inversion of