* It would be nice if there was an option to obfuscate the names.
I assume you are interested in reporting a bug that is triggered by a reduced version of proprietary code? This is a use case that we are interested in supporting! In fact C-Reduce already does a fair amount of renaming of things.
Please give us a list of things that it is failing to obfuscate and we'll add them to our TODO list.
John
