{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"FlatSet::Bottom"}]}
            FlatSet::Bottom => TerminatorEdges::None,
            // This allows the set of visited edges to grow monotonically with the lattice.
            FlatSet::Elem(scalar) => {