anchor.diff:                                         (if(equal num-elem 0)
                                              nil
                                            (lanca-sonda (nth (random num-elem) sucessores))))))))
  -                 (while(null solucao) 
  +                 (unless (null solucao) 
                      (setf solucao (lanca-sonda (problema-estado-inicial problema))))
                    (return-from sondagem-iterativa (list solucao)))))
  -
  
positive.code:     
          (labels ((ildsProbe (estado maxDiscrepancia rProfundidade)
                      (let* ((sucessores (problema-gera-sucessores problema estado))
                             (num-elem (length(sucessores))))
                           (cond 	((funcall objectivo? estado) (list estado))
                           		((eq 0 num-elem) nil)
                           		(t 
  
negative.code: 		  ;o numero da maquina
  		  (setf nr.maquina (job-shop-task-machine.nr job-task))
  		  ;actualizar o tempo de inicio do job 
  		  (setf (job-shop-task-start.time job-task) (job-task-w-constr-virtual-time (aref estado job prox-task)))
  		  (setf last-start-time (job-shop-task-start.time job-task))
  		  (setf task-duration (job-shop-task-duration job-task))
  		  (propaga-restr-tempo novo-estado nr.maquina last-start-time task-duration)
  