fact: Definition cc_succeq := filter_weak_cont_closed pi_ok refl_succeq cc_succeq.
imports: CoLoR(ATrs LogicUtil ARelation RelUtil SN ListUtil AMannaNess ACompat BoolUtil BoundNat) CoLoR(AMonAlg) CoLoR(AFilterBool VecUtil) CoLoR(AFilterPerm)