fact: Definition succ'_sub := @AIBase.succ'_sub gtx_plus_compat gtx_mult_compat mi_eval_ok.
imports: CoLoR(AArcticBasedInt Matrix OrdSemiRing VecUtil AMonAlg SN RelUtil NatUtil AWFMInterpretation LogicUtil AMatrixBasedInt BoolUtil ListUtil)