add test

zokrates_cli/examples/imports/inliner_state.zok

@@ -0,0 +1,12 @@
+from "./inliner_state_aux" import main as test
+
+// we check that the constant inliner does not get corrupted
+// notice that the constant generic has the same name as the constant `K` 
+// defined in the `test1.zok` module
+def tmp<K>(): 
+    u32 junk = test() + K
+    return
+
+// dummy main
+def main():
+    return

zokrates_cli/examples/imports/inliner_state_aux.zok

@@ -0,0 +1,5 @@
+// the issue only shows if `K` is an array, renaming this constant to something else works
+const u32[1] K = [1] 
+
+def main() -> u32:
+    return K[0]