Consider only one bad state #5
Description
In the approach bad states do not have any successors. Thus, just merge all bad states into one so that the set of stored states is smaller and searching a state gets faster. We have to unfold them again when generating the Petri game strategy.