fact: Fixpoint getBVarsNth {G} (vc : VarSym G) {lgs} (pts : Mixture lgs) (n : nat) : (list (vType vc)) := match (pts,n) with | (mnil,_) => [] | (mtcons _ _ ph pth, 0) => [] | (mpcons _ _ ph pth, 0) => (pBndngVars vc ph) | (mtcons _ _ ph pth, S m) => (getBVarsNth vc pth m) | (mpcons _ _ ph pth, S m) => (getBVarsNth vc pth m) end.
imports: CFGV Omega