core: Fix restoration of stack address

All allocas for temporary objects are now placed in the beginning of the
function. Allocas for on-temporary objects are not modified because
these variables may appear in a loop and thus must be uniquely
represented.

nac3standalone/demo/interpret_demo.py

@@ -51,9 +51,8 @@ def patch(module):
     def output_float(x):
         print("%f" % x)
 
-    def dbg_stack_address(x):
-        i = 0
-        return uint64(id(i))
+    def dbg_stack_address(_):
+        return 0
 
     def extern(fun):
         name = fun.__name__