Fix forced-move identifying bisimulation partitioner