pub fn decide_effect_subset(ctx: &RelCtx, eff1: Effect, eff2: Effect) -> bool
Decide effect subset relation