[sv-ec] behavior of program with no initial blocks

What is supposed to happen when a program has no initial blocks?  Does it
exit before it starts, because all its initial blocks are finished?  Or
does it never implicitly exit, because its (nonexistent) last initial
block never exits?  Or should it be illegal?

I have filed Mantis item 1574 on this.

Steven Sharp
sharp@cadence.com