anchor.diff:  		 (*nos-expandidos* 0)
   		 (tempo-inicio (get-internal-run-time))
   		 (objectivo? (problema-objectivo? problema))
  +		 (heur (problema-heuristica problema))
   		 ;(estado= (problema-estado= problema))
   		 (solucao nil))
   
  
positive.code: ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ; Searches implementation
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;FIXME last search option
  
  ;;;;;;;;;;;;;
  ;ILDS
  
negative.code:              (loop while (null solucao) do
                 (setf solucao (lanca-sonda (problema-estado-inicial problema))))
               (return-from sondagem-iterativa solucao))))
               
               
  