Updated to use new addIdDeforesInfo interface
> (vs,es) = unzip bs
> vs' = map mkDeforestable vs
> s = zip vs (map (Var . DefArgVar) vs')
> (vs,es) = unzip bs
> vs' = map mkDeforestable vs
> s = zip vs (map (Var . DefArgVar) vs')
-> mkDeforestable v = replaceIdInfo v (addDeforestInfo (getIdInfo v) DoDeforest)
+> mkDeforestable v = addIdDeforestInfo v DoDeforest
> convAtom :: DefAtom -> UniqSM DefAtom
>
> convAtom :: DefAtom -> UniqSM DefAtom
>