{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"///"}]}
/// But if the CFG is already irreducible, there is no point in trying much harder.
/// at least a predecessor which it dominates. This definition is only correct for reducible CFGs.
/// is already irreducible.