AbstractStrategy sts = ISF.sequencer(asgs);
s.set(sts);
env.worldPush();
Decision decision = sts.getDecision();
for (int i = 0; i < n; i++) {
decision.buildNext();
try {
decision.apply();
} catch (ContradictionException e) {
e.printStackTrace();
}
Assert.assertTrue(variables[i].isInstantiated());
Assert.assertEquals(variables[i].getValue(), i);
Decision tmp = decision;
decision = sts.getDecision();
if (decision != null) {
decision.setPrevious(tmp);
} else {
decision = tmp;