Migrating to specilaizer's with finalize format
Support fusing with a return statement.
Bugfixes in specializer definition logic and output generation.