diff --git a/src/App/App.tsx b/src/App/App.tsx
index 4e9ff1c..e32ea12 100644
--- a/src/App/App.tsx
+++ b/src/App/App.tsx
@@ -64,7 +64,6 @@ type CoupledState = {
 
 export type BigStepCause = {
   kind: "init",
-  simtime: 0,
 } | {
   kind: "input",
   simtime: number,
@@ -162,7 +161,7 @@ export function App() {
 
   const onInit = useCallback(() => {
     if (cE === null) return;
-    const metadata = {simtime: 0, cause: {kind: "init" as const, simtime: 0 as const}};
+    const metadata = {simtime: 0, cause: {kind: "init" as const}};
     try {
       const [outputEvents, state] = cE.initial(); // may throw if initialing the statechart results in a RuntimeError
       setTrace({
@@ -505,7 +504,7 @@ export function App() {
                       <CachedOutlinedIcon fontSize="small"/>
                     </button>
                     &nbsp;
-                    <span style={{display:'inline-block', width: 26, fontSize: 9}}>{(Math.floor(savedTrace[1].at(-1)!.simtime/1000))}s</span>
+                    <span style={{display:'inline-block', width: 26, fontSize: 9}}>{(Math.floor(savedTrace[1].at(-1).simtime/1000))}s</span>
                     <span style={{display:'inline-block', width: 22, fontSize: 9}}>({savedTrace[1].length})</span>
                     &nbsp;
                     <input title="name of the trace (only for humans - names don't have to be unique or anything)" type="text" value={savedTrace[0]} style={{width: 'calc(100% - 124px)'}} onChange={e => setSavedTraces(savedTraces => savedTraces.toSpliced(i, 1, [e.target.value, savedTraces[i][1]]))}/>
diff --git a/todo.txt b/todo.txt
index b9afec4..3d37e90 100644
--- a/todo.txt
+++ b/todo.txt
@@ -23,9 +23,6 @@
         - paused / step-wise
         - (scaled) real time
     - omniscient debugging
-    - coupled execution with "plant"
-    - MTL properties & checking of plant state
-    - recording and replaying traces
 
 
 TODO
@@ -33,6 +30,10 @@ TODO
 - bugs
     editing SC <-> Plant connections at runtime doesn't seem to work
 
+- testing
+    use STL for testing
+        https://github.com/mvcisback/py-metric-temporal-logic
+
 - maybe support:
     - explicit order of:
         - outgoing transitions?