 
  ; (doseq [[alg sp]  [[make-asplan-env asplan-solution-pair-name] [angelic.search.action-set.asplan-broken/make-asplan-env angelic.search.action-set.asplan-broken/asplan-solution-pair-name]] ] (println (time (run-counted #(sp (uniform-cost-search (alg (make-random-infinite-taxi-sas2 3 3 3 3))))))))
 
-
+; (-> (nth (vals (sas-sample-files 1)) 5) make-sas-problem-from-pddl unarize make-asplan-env interactive-search)
 
 
 

                :else (assert "Unknown source type!")))))
        (env/goal-map sas-problem)
        causal-graph dtgs av-map child-var-map tsi acyclic-succ-fn))))

(defn make-naive-asplan-env
  "Replace the actions-fn in asplan-env with one that generates all legal actions,

        precond-vars (keys (dissoc precond-map effect-var))
        [free-pv unfree-pv] (util/separate #(state/get-var s (free-var %)) precond-vars)]
    (assert (every? #(contains? #{nil :frozen} (state/get-var s (action-var %))) precond-vars))
#_    (util/assert-is (every? #(contains? #{nil :frozen} (state/get-var s (action-var %))) precond-vars)
                    "%s" [name precond-map effect-map s])    
    (env-util/make-factored-primitive
     [::Fire name]
     (into precond-map 
