After modify global variable (collection-type), foreach should get newest value

[LeeKaiXuan]

Description

An action (e.g., appendList in the example) that modifies the global variable (e.g., foo_list in the example); and a foreach that iterates the variable. If both were located in the same activity block, the foreach didn't get the newer foo_list which was modified by appendList.

Scenario Code

component pss_top {
    action root_a {
        list<int> foo_list = {1, 2};

        activity {
            do printStr with { str == "root_a"; };
            foreach (i : foo_list[j]) {
                do printVal with { val in [i]; };
            }

            do appendList with { val in [3]; };

            do printStr with { str == "root_a"; };
            foreach (i : foo_list[j]) {
                do printVal with { val in [i]; };
            }
        }
    }

    action appendList {
        rand int val;
        exec post_solve {
            foo_list.push_back(val);
        }
        exec body ASM = """appendList: {{val}}""";
        activity {
            do printStr with { str == "appendList"; };
            foreach (i : foo_list[j]) {
                do printVal with { val in [i]; };
            }
        }
    }

    action printVal {
        rand int val;
        exec body ASM = """printVal: {{val}}""";
    }

    action printStr {
        rand string str;
        exec body ASM = """printStr: {{str}}""";
    }
}

Expected Output or Behaviour

printStr: root_a
printVal: 1
printVal: 2
appendList: 3
printStr: appendList
printVal: 1
printVal: 2
printVal: 3
printStr: root_a
printVal: 1
printVal: 2
printVal: 3

Error Message from PSSGen or JAVA

11a12
> printVal: 3
Test Result: FAIL

Additional Context (Optional)

Please feel free to add any other context about the problem here.