pub fn decide_ceffect_subset_db(ctx: &RelCtx, ce1: CEffect, ce2: CEffect) -> bool