However, around a quarter of the tests currently fail...
This adds the passes to transform INITIAL into the correct form. Fixes #42.