                                            "The state of the object in the previous state should be consistent with the from-state of the option."))
                             succ (roll/follow-transition ha-defs prev trans time)
                             _ (soft-assert (= (get-in succ [:objects (:id opt) :state])
-                                         (:target opt))
-                                      (str "not="
-                                           (get-in succ [:objects (:id opt) :state])
-                                           (:target opt)
-                                           "The state of the object in the successor state should be consistent with the to-state of the option."))
+                                              (:target opt))
+                                           (str "not="
+                                                (get-in succ [:objects (:id opt) :state])
+                                                (:target opt)
+                                                "The state of the object in the successor state should be consistent with the to-state of the option."))
                             [rolled seen] (roll/inert-playout ha-defs succ explore-roll-limit seen)]
                         [(conj ps (concat (conj next-path succ) rolled))
                          (conj

            new-configs (or (:configs new-w) old-configs)
            explored (or (:explored new-w) #{})
            seen-configs (:seen-configs new-w)
            last-config (last new-configs)
            focused-objects #{}]
        (if (or (empty? seen)
                (not (roll/seen-config? (:seen-configs w) last-config)))
          (let [newest (if (and (not (empty? old-configs))
                                (< (count old-configs) (count new-configs))
                                (= (:desc w) (:desc new-w)))
                         (concat [(last old-configs)]

  (.requestAnimationFrame js/window tick-frame)
  (reset-world! default-world-desc))

(defn button-bar [world]
  (let [wld @world
        ha-defs (:ha-defs wld)]
