(def-transported-symbols run
    (translation deterministic-state-machine-to-egp))
(pop-current-theory)