in src/criteria.rs [69:80]
fn recurse_implies(
result: &mut CriteriaSet,
direct_implies: &[CriteriaSet],
cur_idx: usize,
) {
for idx in direct_implies[cur_idx].indices() {
if !result.has_criteria(idx) {
result.set_criteria(idx);
recurse_implies(result, direct_implies, idx);
}
}
}