{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":".reduce(|a,"}]}
                .reduce(|a, b| supernodes.unify(a, b))
                .successors(node)
                .expect("each node in a balanced graph must have at least one out-edge")