From ee40e89b23740ba50daeda0240e178e170865750 Mon Sep 17 00:00:00 2001
From: Ishaan Kesarwani <kesarwaniishaan4@gmail.com>
Date: Sat, 11 Apr 2026 12:57:23 +0530
Subject: [PATCH] fix:incorrect operator precedence

---
 .../orchestration/nodejs/toOrchestration.ts     | 17 ++++++++++++++---
 1 file changed, 14 insertions(+), 3 deletions(-)

diff --git a/src/codeGenerators/orchestration/nodejs/toOrchestration.ts b/src/codeGenerators/orchestration/nodejs/toOrchestration.ts
index 522a2c3c..861d1e4f 100644
--- a/src/codeGenerators/orchestration/nodejs/toOrchestration.ts
+++ b/src/codeGenerators/orchestration/nodejs/toOrchestration.ts
@@ -134,7 +134,10 @@ export default function codeGenerator(node: any, options: any = {}): any {
         }
         if (node.expression.operator === '-='){
           increments = codeGenerator(node.expression.rightHandSide);
-          return  `\n${privateStateName}_newCommitmentValue = generalise(parseInt(${privateStateName}_newCommitmentValue.integer, 10) + (${increments}));\n`;
+          const incrementsWithParens = node.expression.rightHandSide.nodeType === 'BinaryOperation' 
+            ? `(${increments})` 
+            : increments;
+          return  `\n${privateStateName}_newCommitmentValue = generalise(parseInt(${privateStateName}_newCommitmentValue.integer, 10) - (${incrementsWithParens}));\n`;
         }
         if (node.expression.operator === '='){
           increments = codeGenerator(node.expression.rightHandSide);
@@ -163,22 +166,30 @@ export default function codeGenerator(node: any, options: any = {}): any {
       // To ensure the left hand side is always a general number, we generalise it here (excluding the initialisation in a for loop).    
       if (!node.isInitializationAssignment && node.rightHandSide.subType !== 'generalNumber'){
         if (['+=', '-=', '*='].includes(node.operator)) {
+          const rightHandSideCode = codeGenerator(node.rightHandSide);
+          const rightHandSideWithParens = node.rightHandSide.nodeType === 'BinaryOperation' 
+            ? `(${rightHandSideCode})` 
+            : rightHandSideCode;
           return `${codeGenerator(node.leftHandSide, {
             lhs: true,
           })} = generalise(${codeGenerator(node.leftHandSide)} ${node.operator.charAt(
             0,
-          )} ${codeGenerator(node.rightHandSide)})`;
+          )} ${rightHandSideWithParens})`;
         }
          return `${codeGenerator(node.leftHandSide, { lhs: true })} ${
           node.operator
         } generalise(${codeGenerator(node.rightHandSide)})`;
       } else {
         if (['+=', '-=', '*='].includes(node.operator)) {
+          const rightHandSideCode = codeGenerator(node.rightHandSide);
+          const rightHandSideWithParens = node.rightHandSide.nodeType === 'BinaryOperation' 
+            ? `(${rightHandSideCode})` 
+            : rightHandSideCode;
           return `${codeGenerator(node.leftHandSide, {
             lhs: true,
           })} = ${codeGenerator(node.leftHandSide)} ${node.operator.charAt(
             0,
-          )} ${codeGenerator(node.rightHandSide)}`;
+          )} ${rightHandSideWithParens}`;
         }
         return `${codeGenerator(node.leftHandSide, { lhs: true })} ${
           node.operator