public void failurePruning(int failure_time) {
   super.failurePruning(failure_time);
   this.counterMoves = 0;
   this.g = new DelegateForest<MetaVariable, ConstraintNetwork>();
   this.resolvers.clear();
   this.metaVarsToMetaCons.clear();
 }