Remove unnecessary pushing/popping for integer literal expressions

diff --git a/normalization.py b/normalization.py
index 5eef1db1532bc8256817ee8e6f76b53edc74619a..71f1fbadca7f38c41cf319431b1c744c565b73d6 100644 (file)
--- a/normalization.py
+++ b/normalization.py
@@ -120,16 +120,10 @@ NormalProgram = collections.namedtuple(
 )
 
 def normalize_integer_literal_expression(counter, expression):
-    variable = '${}'.format(counter)
     return (
-        counter + 1,
-        (
-            NormalVariableInitializationStatement(
-                variable=variable,
-                expression=NormalIntegerLiteralExpression(integer=expression.integer),
-            ),
-        ),
-        NormalVariableExpression(variable=variable),
+        counter,
+        (),
+        NormalIntegerLiteralExpression(integer=expression.integer),
     )
 
 def normalize_lambda_expression(counter, expression):