fact: Definition hde r1 r2 := In r1 D /\ In r2 D /\ match rhs r1 with | Var _ => True | Fun f _ => match lhs r2 with | Var _ => True | Fun g _ => f=g end end.
imports: CoLoR(ADecomp ADuplicateSymb ATrs ListUtil RelSub RelUtil AGraph LogicUtil BoolUtil AShift EqUtil ListDec)