fix(cellUnderflow): Don't track processed calls

src/detectors/builtin/cellUnderflow.ts

@@ -225,9 +225,6 @@ class CellUnderflowLattice implements JoinSemilattice<CellUnderflowState> {
 }
 
 class CellUnderflowTransfer implements Transfer<CellUnderflowState> {
-  // Track processed calls across all iterations
-  private processedCalls = new Set<AstNode["id"]>();
-
   public transfer(
     inState: CellUnderflowState,
     _node: BasicBlock,
@@ -507,12 +504,6 @@ class CellUnderflowTransfer implements Transfer<CellUnderflowState> {
     variable: VariableRhs,
     call: AstMethodCall,
   ): void {
-    // Only update storage if we haven't processed this call in any iteration
-    if (this.processedCalls.has(call.id)) {
-      return;
-    }
-    this.processedCalls.add(call.id);
-
     const storedRefs = this.getStoredRefs(variable, call);
     if (storedRefs !== undefined) {
       variable.value.storage.refsNum.stored =
@@ -743,14 +734,15 @@ class CellUnderflowTransfer implements Transfer<CellUnderflowState> {
     out: CellUnderflowState,
     stmt: AstStatement,
   ): void {
+    const processedCalls = new Set<AstNode["id"]>();
     forEachExpression(stmt, (expr) => {
       const callsChain = getMethodCallsChain(expr);
       if (callsChain === undefined) return;
 
       // Check if these calls were previously processed
       let hasUnvisited = false;
       callsChain.calls.forEach((c) => {
-        if (!this.processedCalls.has(c.id)) {
+        if (!processedCalls.has(c.id)) {
           hasUnvisited = true;
         }
       });