I just found a major bug in SelectionDAG. Well, I found it several weeks ago
and finally diagnosed it today.
One possible fix comes down to holding SDUses about to be processed in
a queue. But this would require the SDUse copy constructor to be public.
Why is it private and unimplemented right now? What's the assumption
that's trying to protect?
-Dave