BruteForceStrategy.getNextStatesWhenBlocking + specs