If the implementation under check should be a deterministic finite-state machine failing the specification for a single hint and its continuations, and its number of states is unknown, then it
If the implementation under check should be a deterministic finite-state machine failing the specification for a single hint and its continuations, and its number of states is unknown, then it