#424 CIF explorer: calculate possible initial states in a way that is compatible with the precondition check. (!1007) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet

Best to review per commit.
Changes:
- Moved some functionality from SpecNoTooManyPossibleInitialStatesCheck to CifValueUtils, for reuse.
- CIF explorer now assumes prechecking is done, and doesn't check this constraint by itself anymore. Ensures consistency.
- Reduced the number of possible initial states, which would lead to false positives for going over the limit.

#424 CIF explorer: calculate possible initial states in a way that is compatible with the precondition check.