proposition: Lemma refl_succeq : reflexive succeq.
proof: Proof. intro x. unfold succeq. apply refl_succeq. Qed.
imports: CoLoR(ATrs LogicUtil ARelation RelUtil SN ListUtil AMannaNess ACompat BoolUtil BoundNat) CoLoR(AMonAlg) CoLoR(AFilterBool VecUtil)