Updated step count for proofs

Author: dkcumming

kmir/src/tests/integration/data/crate-tests/two-crate-bin/crate2::main.expected

@@ -2,7 +2,7 @@
 ┌─ 1 (root, init)
 │   #execTerminator ( terminator ( ... kind: terminatorKindCall ( ... func: operandC
 │
-│  (736 steps)
+│  (740 steps)
 ├─ 3 (terminal)
 │   #EndProgram ~> .K
 │