Web3: use #clearGas in #eth_call_finalize (#577)

* web3.md: use #clearGas in #eth_call_finalize

* web3.md: formatting

* web3: formatting

Author: anvacaru

web3.md

@@ -1277,7 +1277,13 @@ Transaction Receipts
 
     syntax KItem ::= "#eth_call_finalize"
  // -------------------------------------
-    rule <k> #eth_call_finalize => #setMode NORMAL ~> #popNetworkState ~> #rpcResponseSuccess(#unparseDataByteArray( OUTPUT )) ... </k>
+    rule <k> #eth_call_finalize
+          => #setMode NORMAL
+          ~> #popNetworkState
+          ~> #clearGas
+          ~> #rpcResponseSuccess(#unparseDataByteArray( OUTPUT ))
+         ...
+        </k>
          <output> OUTPUT </output>
 ```