fact: Definition mFresh {G : CFGV} {vc : VarSym G} {lgs : list (bool * GSym G)} (hlnew : list (vType vc)) (ms : list (Mixture lgs)):= disjoint hlnew (flat_map mAllVars ms) # no_repeats hlnew.
imports: Term AssociationList