Change header (this is not a Lexicon tester).
Rework PixieDustTree test implementation to use a dummy CeIASMGenerator
(we do not test code generation here).