I'll try to implement my idea (based on preprocessed source) as a separate driver on top of creduce.
Sounds good! If it works out, we can see about porting it into C-Reduce, or perhaps that won't even be necessary.
Another wrapper that I'd like is one that reduces a collection of files together, for example to help debug a cross-module issue.
John
