Fix incorrect push of on-entry states in analysis of empty start cycles
Use "separate integer types" (emulated by enums) for indexing states in debug builds.
This makes it clearer which state is indexed by a variable, and for cross assignment yields compiler warnings.