pub fn decide_effect_subset(ctx: &RelCtx, eff1: Effect, eff2: Effect) -> bool
Expand description

Decide effect subset relation