HomeIsabelle/Phabricator

Remove fall-back to old code-generator.