{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"///"}]}
///     Begin with the standard control flow graph `G`. Modify `G` as follows: for any two cleanup
///
///     vertices `u` and `v` such that `u` dominates `v`, contract `u` and `v` into a single vertex,