{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"Set1::One(def)"}]}
            Set1::One(def) => def.dominates(location, dominators),
        match self.assignments[local] {
            _ => false,