In that way the power of the source code to teach us will still be there.
I understand if some tool that is in C and need a boost in security might use this, but giving the output code is intractable, they would still have to code in C, so this kind of defeat the some of the goals of writing code in a more secure environment.
Its important to understand that security is just one of the axis of a whole that have much more things to consider.
Having said that, maybe there will be a good use for source code in C that needs a safety boost right away in critical places, or use something like this to spot dark corners and fix the code back in C.
Also, great hacking points to whoever did this, as this is fun just because is hacking at its best.