{"ast_node_type":"other","tokens":[{"end":85,"kind":"keyword","start":0,"text":"//"}]}
        // Expansions are partially ordered, so "may appear after" is an inversion of
        // self > max(invoc, binding) => !(self <= invoc || self <= binding)
        // "certainly appears before or simultaneously" and includes unordered cases.