anchor.diff:                                    ,@(loop for v in initial-false collect `(not ,v)))))
   
            (goal (or goal (pddl-facts-goal facts)))
  -         (n-op (length concrete-actions))
  +         (n-op (length ground-actions))
            (n-var (length state-vars)))
       (format t "~&ground actions: ~D" n-op)
       (format t "~&ground states: ~D" n-var)
  
positive.code:          (state-vars (or state-vars
                           (create-state-variables (pddl-operators-predicates operators)
                                                   type-map)))
           (concrete-actions (or concrete-actions
                                 (smt-concrete-actions (pddl-operators-actions operators)
                                                        type-map)))
           (initial-true (unless initial-state (or initial-true (pddl-facts-init facts))))
           (initial-false (unless initial-state (or initial-false
  
negative.code:                                   ,@(loop for v in initial-false collect `(not ,v)))))
  
           (goal (or goal (pddl-facts-goal facts)))
           (n-op (length ground-actions))
           (n-var (length state-vars)))
      (format t "~&ground actions: ~D" n-op)
      (format t "~&ground states: ~D" n-var)
  