diff --git a/Makefile b/Makefile
index 062a3c1e..f6190586 100644
--- a/Makefile
+++ b/Makefile
@@ -48,7 +48,7 @@ else
 endif
 K_BIN := $(K_RELEASE)/bin
 K_LIB := $(K_RELEASE)/lib/kframework
-export K_OPTS ?= -Xmx20G -Xss512m
+export K_OPTS ?= -Xmx12G -Xss512m
 export K_RELEASE
 
 PYTHONPATH := $(K_LIB):$(KWASM_BINARY_PARSER):$(PYTHONPATH)
@@ -127,7 +127,7 @@ wasm-deps:
 # -------------------
 
 HOOK_NAMESPACES    := KRYPTO
-KOMPILE_OPTS       := --hook-namespaces \"$(HOOK_NAMESPACES)\" -I $(CURDIR)
+KOMPILE_OPTS       := --hook-namespaces \"$(HOOK_NAMESPACES)\" -I $(CURDIR) -v
 
 ifneq (,$(K_COVERAGE))
     KOMPILE_OPTS += --coverage
diff --git a/elrond-config.md b/elrond-config.md
index 1d6857d8..03ee874b 100644
--- a/elrond-config.md
+++ b/elrond-config.md
@@ -435,12 +435,11 @@ TODO: Implement [reserved keys and read-only runtimes](https://github.com/Elrond
     rule [exception-revert]:
         <commands> (#exception(EC, MSG) ~> #endWasm) => popCallState ~> popWorldState ... </commands>
         <vmOutput> .VMOutput => VMOutput( EC , MSG , .ListBytes , .List) </vmOutput>
-      [priority(10)]
     
     rule [exception-skip]:
         <commands> #exception(_,_) ~> (CMD:InternalCmd => . ) ... </commands>
       requires CMD =/=K #endWasm
-      [priority(10)]
+
 ```
 
 ### `#throwException*`
@@ -662,6 +661,7 @@ Every contract call runs in its own Wasm instance initialized with the contract'
           <instrs> initContractModule(CODE) </instrs>
           ...
         </wasm>)
+
     rule [setContractModIdx]:
         <commands> setContractModIdx => . ... </commands>
         <contractModIdx> _ => NEXTIDX -Int 1 </contractModIdx>