{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"def.successor_within_block().dominates(location,"}]}
                def.successor_within_block().dominates(location, dominators)
            DefLocation::Assignment(def) => {
            }