Also check if the goal state is reached in the first state (where all entities are uninitialized
Also check if the goal state is reached in the first state (where all entities are uninitialized

cwi-swat/rebel,cwi-swat/rebel,thanus/rebel,thanus/rebel