{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"///"}]}
/// at least a predecessor which it dominates. This definition is only correct for reducible CFGs.
/// Compute the set of loop headers in the given body. We define a loop header as a block which has
/// But if the CFG is already irreducible, there is no point in trying much harder.