SI-5134 Test case for fixed DelayedInit / structural type bug

As with SI-5655, this started working in b4fbb7be0e by @magarciaEPFL
Merge pull request #3549 from retronym/ticket/5134

SI-5134 Test case for fixed DelayedInit / structural type bug