anchor.diff:                       			(if (and (> maxDiscrepancia 0) (null result))
                        				(dolist (suc (cdr sucessores))
                        					(setf result (ildsProbe suc (- maxDiscrepancia 1 ) (- rProfundidade 1)))
  -                     					(print result)
                        					(when (not (null result))
                        					 	(return-from ildsProbe result))))
                    				(return-from ildsProbe result))))))
  
positive.code:     (labels ((ildsProbe (estado maxDiscrepancia rProfundidade)
                  (let* ((sucessores (problema-gera-sucessores problema estado))
                         (num-elem (list-length sucessores)))
                       (cond 	((funcall objectivo? (state-job-schedule-jobs-tasks-space estado)) (list estado))
                       		((= 0 num-elem) nil)
                       		(t 
                       			(setf result nil)
  
negative.code:              (loop while (null solucao) do
                 (setf solucao (lanca-sonda (problema-estado-inicial problema))))
               (return-from sondagem-iterativa solucao))))
  