diff --git a/typecheck.time b/typecheck.time
index f1670c7..8de8bb0 100644
--- a/typecheck.time
+++ b/typecheck.time
@@ -1,4 +1,4 @@
-TOTAL: 4m4s
+TOTAL: 4m7s
 UTxO/Hashing/Base: 0m9s
 UTxO/Value: 0m8s
 UTxO/Types: 0m2s
@@ -12,19 +12,19 @@ UTxO/Uniqueness: 0m1s
 UTxO/GlobalPreservation: 0m8s
 UTxO/TokenProvenance: 0m3s
 UTxO/TokenProvenanceNF: 0m10s
-StateMachine/Base: 0m8s
+StateMachine/Base: 0m9s
 StateMachine/Properties: 0m43s
 Bisimulation/Base: 0m11s
-Bisimulation/Soundness: 0m36s
+Bisimulation/Soundness: 0m37s
 Bisimulation/Completeness: 0m34s
 Bisimulation: 0m0s
 StateMachine/Examples/GuessingGame: 0m0s
 StateMachine/Inductive/Core: 0m1s
 StateMachine/Inductive/Combinators: 0m0s
 StateMachine/Inductive: 0m0s
-StateMachine/Examples/MultiSig: 0m2s
-StateMachine/Properties/Ledger: 0m8s
-StateMachine/Examples/Counter: 0m0s
-StateMachine/Initiality: 0m2s
-StateMachine/Extract: 0m42s
+StateMachine/Examples/MultiSig: 0m3s
+StateMachine/Properties/Ledger: 0m7s
+StateMachine/Examples/Counter: 0m1s
+StateMachine/Initiality: 0m1s
+StateMachine/Extract: 0m43s
 Main: 0m0s