                            explored
                            (assoc opt
                              :t
-                             (- time (get-in cur [:objects (:id opt) :entry-time]))))
+                             (- (:entry-time succ)
+                                (get-in prev [:objects (:id opt) :entry-time]))))
                          seen]))
                     [[] explored seen]
                     removed-opts)

                            time (max
                                   (+ (:entry-time prev) heval/time-unit)
                                   (min (iv/end (:interval trans))
                                        (:t opt)))
                            _ (assert (= (get-in prev [:objects (:id opt) :state])
                                         (:state opt))
                                      (str "not="

                                           (:state opt)
                                           "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])
