fact: Definition oneSwapVar {G : CFGV} {vc : VarSym G} (v : vType vc) (oneSwapping : vType vc * vType vc) : vType vc := let (a,b) := oneSwapping in if DeqVtype vc v a then b else if DeqVtype vc v b then a else v.
imports: Term AssociationList