This test verifies (acting on single-file snippet):

1. Correct order of execution of ices, including atinit
