mint contract from mint2.psm in zklisp working

lisp/examples/macro-test.lisp

@@ -269,12 +269,11 @@
     (def! randomness (rnd-scalar))    
     (def! witness-result (zk-witness public-u public-v))    
     (def! not-small-order (zk-not-small-order? public-u public-v))    
-    (def! g-vcr-u (alloc "g-vcr-u" public-u))
-    (def! g-vcr-v (alloc "g-vcr-v" public-v))
+    (def! g-vcr-u (alloc-input "g-vcr-u" public-u))
+    (def! g-vcr-v (alloc-input "g-vcr-v" public-v))
     (def! mul-result (last (last (jj-mul g-vcr-u g-vcr-v randomness))))
-    (println 'mul-result mul-result)
-    (def! rcvu (alloc-input "rcvu" (get mul-result "u3")))
-    (def! rcvr (alloc-input "rcvr" (get mul-result "v3")))
+    (def! rcvu (alloc "rcvu" (get mul-result "u3")))
+    (def! rcvr (alloc "rcvr" (get mul-result "v3")))
     (enforce
         (scalar::one rcvu)
         (scalar::one cs::one)