fact: Fixpoint lBoundVarsOld {G : CFGV} { vc : VarSym G} {ls : list (bool * (GSym G))} (llbn : list (list nat)) (lmix : Mixture ls) : list( (list (vType vc))) := match llbn with | [] => [] | (lnh::lntl) => (flat_map (getBVarsNth vc lmix) lnh) :: (lBoundVarsOld lntl lmix) end.
imports: CFGV Omega