evm: single rule for #exception ~> #finishCodeDeposit

Author: Everett Hildenbrandt

evm.md

@@ -1593,16 +1593,16 @@ For each `CALL*` operation, we make a corresponding call to `#call` and a state-
          </account>
 
     rule <k> #exception ~> #finishCodeDeposit ACCT _
-          => #popCallStack ~> #dropWorldState
-          ~> #refund GAVAIL ~> ACCT ~> #push
+          => #popCallStack
+          ~> #if SCHED ==K FRONTIER
+                #then #dropWorldState ~> #refund GAVAIL ~> ACCT
+                #else #popWorldState  ~>                   0
+             #fi
+          ~> #push
          ...
          </k>
          <gas> GAVAIL </gas>
-         <schedule> FRONTIER </schedule>
-
-    rule <k> #exception ~> #finishCodeDeposit _ _ => #popCallStack ~> #popWorldState ~> 0 ~> #push ... </k>
          <schedule> SCHED </schedule>
-      requires SCHED =/=K FRONTIER
 ```
 
 `CREATE` will attempt to `#create` the account using the initialization code and cleans up the result with `#codeDeposit`.