Add imports for wrc20.k file

Author: hjorthjort

Makefile

@@ -40,7 +40,7 @@ clean:
 # Build Dependencies (K Submodule)
 # --------------------------------
 
-wasm_files=test.k wasm.k data.k kwasm-lemmas.k
+wasm_files=test.k wasm.k data.k kwasm-lemmas.k wrc20.k
 wasm_source_files:=$(patsubst %, $(wasm_submodule)/%, $(patsubst %.k, %.md, $(wasm_files)))
 eei_files:=eei.k
 eei_source_files:=$(patsubst %, $(eei_submodule)/%, $(patsubst %.k, %.md, $(eei_files)))

tests/proofs/wrc20-do-balance-spec.k

@@ -1,4 +1,5 @@
 requires "kewasm-lemmas.k"
+requires "wrc20.k"
 
 module VERIFICATION
     imports KEWASM-LEMMAS