[CLEANUP] Rename TacConverter.optimize().
[CLEANUP] Clean up the TacConverter some more and and a minimal example.