anchor.diff:      (print is-sat)
       (case is-sat
         ((sat |sat|)
  -       (let ((values (smt-plan-result cx)))
  -         (smt-plan-parse values)))
  +       (setf (smt-plan-context-values cx)
  +             (smt-plan-result cx))
  +       (smt-plan-parse (smt-plan-context-values cx)))
         ((unsat |unsat|)
  +       (setf (smt-plan-context-values cx) nil)
          ;; pop
          (smt-eval smt '(|pop| 1))
          (when (< i max-steps)
  
positive.code:   ground-actions
    goal
    step
    )
  
  (defun smt-plan-check (cx &key max-steps)
  
negative.code:                              :goal goal
                               :step 0))))
  
  
  
  
  (defun smt-plan ( &key
  