fact: Parameter pi : forall f : Sig, option {k | k < arity f}.
imports: CoLoR(ATrs LogicUtil ARelation RelUtil SN ListUtil AMannaNess ACompat BoolUtil BoundNat) CoLoR(AMonAlg) CoLoR(AFilterBool VecUtil) CoLoR(AFilterPerm) CoLoR(AProj)