Exception when initial state is incomplete

[Framba-Luca]

When the initial state is incomplete tempest crashes. Even if the behavior is correct, maybe a clearer exception is preferred for the user experience.

I don't know how hard it would be to support the undefined initial state.