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

As with SI-5655, this started working in b4fbb7be0e by @magarciaEPFL

Review by @gkossakowski