kumi 0.0.17 → 0.0.19

data/golden/loop_fusion/expected/lir_02_inlined.txt

@@ -0,0 +1,62 @@
+(LIR
+  (Declaration total_payroll
+    %t1 = load_input "departments" :: array
+    loop departments id=L1 in %t1 as el=%departments_el_2, idx=%departments_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field departments_el_2["employees"] :: any
+      loop employees id=L2 in %t5 as el=%employees_el_6, idx=%employees_i_7
+        %t8 = load_field employees_el_6["salary"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration manager_count
+    %t10 = load_input "departments" :: array
+    loop departments id=L3 in %t10 as el=%departments_el_11, idx=%departments_i_12
+      %acc_13 = decl_acc :: integer
+      %t14 = load_field departments_el_11["employees"] :: any
+      loop employees id=L4 in %t14 as el=%employees_el_15, idx=%employees_i_16
+        %t17 = load_field employees_el_15["role"] :: string
+        %t18 = const "manager" :: string
+        %t19 = call core.eq(%t17, %t18) :: boolean
+        %t20 = const 1 :: integer
+        %t21 = const 0 :: integer
+        %t22 = select %t19, %t20, %t21 :: integer
+        %acc_13 = acc_add agg.sum(%acc_13, %t22) :: integer
+      end_loop
+      %t23 = acc_load %acc_13 :: integer
+      yield %t23
+    end_loop
+  )
+  (Declaration department_summary
+    %t24 = load_input "departments" :: array
+    loop departments id=L5 in %t24 as el=%departments_el_25, idx=%departments_i_26
+      %t27 = load_field departments_el_25["name"] :: string
+      %t31 = load_input "departments" :: array
+      %acc33 = decl_acc :: integer
+      %t34 = load_field departments_el_25["employees"] :: any
+      loop employees id=L6 in %t34 as el=%employees_el_6, idx=%employees_i_7
+        %t35 = load_field employees_el_6["salary"] :: integer
+        %acc33 = acc_add agg.sum(%acc33, %t35) :: integer
+      end_loop
+      %t36 = acc_load %acc33 :: integer
+      %t37 = load_input "departments" :: array
+      %acc39 = decl_acc :: integer
+      %t40 = load_field departments_el_25["employees"] :: any
+      loop employees id=L7 in %t40 as el=%employees_el_15, idx=%employees_i_16
+        %t41 = load_field employees_el_15["role"] :: string
+        %t42 = const "manager" :: string
+        %t43 = call core.eq(%t41, %t42) :: boolean
+        %t44 = const 1 :: integer
+        %t45 = const 0 :: integer
+        %t46 = select %t43, %t44, %t45 :: integer
+        %acc39 = acc_add agg.sum(%acc39, %t46) :: integer
+      end_loop
+      %t47 = acc_load %acc39 :: integer
+      %t30 = make_object{name: %t27, total_payroll: %t36, manager_count: %t47} :: object
+      yield %t30
+    end_loop
+  )
+)

data/golden/loop_fusion/expected/lir_03_cse.txt

@@ -0,0 +1,57 @@
+(LIR
+  (Declaration total_payroll
+    %t1 = load_input "departments" :: array
+    loop departments id=L1 in %t1 as el=%departments_el_2, idx=%departments_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field departments_el_2["employees"] :: any
+      loop employees id=L2 in %t5 as el=%employees_el_6, idx=%employees_i_7
+        %t8 = load_field employees_el_6["salary"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration manager_count
+    %t10 = load_input "departments" :: array
+    loop departments id=L3 in %t10 as el=%departments_el_11, idx=%departments_i_12
+      %acc_13 = decl_acc :: integer
+      %t14 = load_field departments_el_11["employees"] :: any
+      loop employees id=L4 in %t14 as el=%employees_el_15, idx=%employees_i_16
+        %t17 = load_field employees_el_15["role"] :: string
+        %t18 = const "manager" :: string
+        %t19 = call core.eq(%t17, %t18) :: boolean
+        %t20 = const 1 :: integer
+        %t21 = const 0 :: integer
+        %t22 = select %t19, %t20, %t21 :: integer
+        %acc_13 = acc_add agg.sum(%acc_13, %t22) :: integer
+      end_loop
+      %t23 = acc_load %acc_13 :: integer
+      yield %t23
+    end_loop
+  )
+  (Declaration department_summary
+    %t24 = load_input "departments" :: array
+    loop departments id=L5 in %t24 as el=%departments_el_25, idx=%departments_i_26
+      %t27 = load_field departments_el_25["name"] :: string
+      %acc33 = decl_acc :: integer
+      %t34 = load_field departments_el_25["employees"] :: any
+      %acc39 = decl_acc :: integer
+      loop employees id=L6 in %t34 as el=%employees_el_6, idx=%employees_i_7
+        %t35 = load_field employees_el_6["salary"] :: integer
+        %acc33 = acc_add agg.sum(%acc33, %t35) :: integer
+        %t41 = load_field employees_el_6["role"] :: string
+        %t42 = const "manager" :: string
+        %t43 = call core.eq(%t41, %t42) :: boolean
+        %t44 = const 1 :: integer
+        %t45 = const 0 :: integer
+        %t46 = select %t43, %t44, %t45 :: integer
+        %acc39 = acc_add agg.sum(%acc39, %t46) :: integer
+      end_loop
+      %t36 = acc_load %acc33 :: integer
+      %t47 = acc_load %acc39 :: integer
+      %t30 = make_object{name: %t27, total_payroll: %t36, manager_count: %t47} :: object
+      yield %t30
+    end_loop
+  )
+)

data/golden/loop_fusion/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,57 @@
+(LIR
+  (Declaration total_payroll
+    %t1 = load_input "departments" :: array
+    loop departments id=L1 in %t1 as el=%departments_el_2, idx=%departments_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field departments_el_2["employees"] :: any
+      loop employees id=L2 in %t5 as el=%employees_el_6, idx=%employees_i_7
+        %t8 = load_field employees_el_6["salary"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration manager_count
+    %t10 = load_input "departments" :: array
+    loop departments id=L3 in %t10 as el=%departments_el_11, idx=%departments_i_12
+      %acc_13 = decl_acc :: integer
+      %t14 = load_field departments_el_11["employees"] :: any
+      loop employees id=L4 in %t14 as el=%employees_el_15, idx=%employees_i_16
+        %t17 = load_field employees_el_15["role"] :: string
+        %t18 = const "manager" :: string
+        %t19 = call core.eq(%t17, %t18) :: boolean
+        %t20 = const 1 :: integer
+        %t21 = const 0 :: integer
+        %t22 = select %t19, %t20, %t21 :: integer
+        %acc_13 = acc_add agg.sum(%acc_13, %t22) :: integer
+      end_loop
+      %t23 = acc_load %acc_13 :: integer
+      yield %t23
+    end_loop
+  )
+  (Declaration department_summary
+    %t24 = load_input "departments" :: array
+    loop departments id=L5 in %t24 as el=%departments_el_25, idx=%departments_i_26
+      %t27 = load_field departments_el_25["name"] :: string
+      %acc33 = decl_acc :: integer
+      %t34 = load_field departments_el_25["employees"] :: any
+      %acc39 = decl_acc :: integer
+      loop employees id=L6 in %t34 as el=%employees_el_6, idx=%employees_i_7
+        %t35 = load_field employees_el_6["salary"] :: integer
+        %acc33 = acc_add agg.sum(%acc33, %t35) :: integer
+        %t41 = load_field employees_el_6["role"] :: string
+        %t42 = const "manager" :: string
+        %t43 = call core.eq(%t41, %t42) :: boolean
+        %t44 = const 1 :: integer
+        %t45 = const 0 :: integer
+        %t46 = select %t43, %t44, %t45 :: integer
+        %acc39 = acc_add agg.sum(%acc39, %t46) :: integer
+      end_loop
+      %t36 = acc_load %acc33 :: integer
+      %t47 = acc_load %acc39 :: integer
+      %t30 = make_object{name: %t27, total_payroll: %t36, manager_count: %t47} :: object
+      yield %t30
+    end_loop
+  )
+)

data/golden/loop_fusion/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,57 @@
+(LIR
+  (Declaration total_payroll
+    %t1 = load_input "departments" :: array
+    loop departments id=L1 in %t1 as el=%departments_el_2, idx=%departments_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field departments_el_2["employees"] :: any
+      loop employees id=L2 in %t5 as el=%employees_el_6, idx=%employees_i_7
+        %t8 = load_field employees_el_6["salary"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration manager_count
+    %t10 = load_input "departments" :: array
+    %t18 = const "manager" :: string
+    %t20 = const 1 :: integer
+    %t21 = const 0 :: integer
+    loop departments id=L3 in %t10 as el=%departments_el_11, idx=%departments_i_12
+      %acc_13 = decl_acc :: integer
+      %t14 = load_field departments_el_11["employees"] :: any
+      loop employees id=L4 in %t14 as el=%employees_el_15, idx=%employees_i_16
+        %t17 = load_field employees_el_15["role"] :: string
+        %t19 = call core.eq(%t17, %t18) :: boolean
+        %t22 = select %t19, %t20, %t21 :: integer
+        %acc_13 = acc_add agg.sum(%acc_13, %t22) :: integer
+      end_loop
+      %t23 = acc_load %acc_13 :: integer
+      yield %t23
+    end_loop
+  )
+  (Declaration department_summary
+    %t24 = load_input "departments" :: array
+    %t42 = const "manager" :: string
+    %t44 = const 1 :: integer
+    %t45 = const 0 :: integer
+    loop departments id=L5 in %t24 as el=%departments_el_25, idx=%departments_i_26
+      %t27 = load_field departments_el_25["name"] :: string
+      %acc33 = decl_acc :: integer
+      %t34 = load_field departments_el_25["employees"] :: any
+      %acc39 = decl_acc :: integer
+      loop employees id=L6 in %t34 as el=%employees_el_6, idx=%employees_i_7
+        %t35 = load_field employees_el_6["salary"] :: integer
+        %acc33 = acc_add agg.sum(%acc33, %t35) :: integer
+        %t41 = load_field employees_el_6["role"] :: string
+        %t43 = call core.eq(%t41, %t42) :: boolean
+        %t46 = select %t43, %t44, %t45 :: integer
+        %acc39 = acc_add agg.sum(%acc39, %t46) :: integer
+      end_loop
+      %t36 = acc_load %acc33 :: integer
+      %t47 = acc_load %acc39 :: integer
+      %t30 = make_object{name: %t27, total_payroll: %t36, manager_count: %t47} :: object
+      yield %t30
+    end_loop
+  )
+)

data/golden/loop_fusion/expected/lir_06_const_prop.txt

@@ -0,0 +1,57 @@
+(LIR
+  (Declaration total_payroll
+    %t1 = load_input "departments" :: array
+    loop departments id=L1 in %t1 as el=%departments_el_2, idx=%departments_i_3
+      %acc_4 = decl_acc :: integer
+      %t5 = load_field departments_el_2["employees"] :: any
+      loop employees id=L2 in %t5 as el=%employees_el_6, idx=%employees_i_7
+        %t8 = load_field employees_el_6["salary"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration manager_count
+    %t10 = load_input "departments" :: array
+    %t18 = const "manager" :: string
+    %t20 = const 1 :: integer
+    %t21 = const 0 :: integer
+    loop departments id=L3 in %t10 as el=%departments_el_11, idx=%departments_i_12
+      %acc_13 = decl_acc :: integer
+      %t14 = load_field departments_el_11["employees"] :: any
+      loop employees id=L4 in %t14 as el=%employees_el_15, idx=%employees_i_16
+        %t17 = load_field employees_el_15["role"] :: string
+        %t19 = call core.eq(%t17, %t18) :: boolean
+        %t22 = select %t19, %t20, %t21 :: integer
+        %acc_13 = acc_add agg.sum(%acc_13, %t22) :: integer
+      end_loop
+      %t23 = acc_load %acc_13 :: integer
+      yield %t23
+    end_loop
+  )
+  (Declaration department_summary
+    %t24 = load_input "departments" :: array
+    %t42 = const "manager" :: string
+    %t44 = const 1 :: integer
+    %t45 = const 0 :: integer
+    loop departments id=L5 in %t24 as el=%departments_el_25, idx=%departments_i_26
+      %t27 = load_field departments_el_25["name"] :: string
+      %acc33 = decl_acc :: integer
+      %t34 = load_field departments_el_25["employees"] :: any
+      %acc39 = decl_acc :: integer
+      loop employees id=L6 in %t34 as el=%employees_el_6, idx=%employees_i_7
+        %t35 = load_field employees_el_6["salary"] :: integer
+        %acc33 = acc_add agg.sum(%acc33, %t35) :: integer
+        %t41 = load_field employees_el_6["role"] :: string
+        %t43 = call core.eq(%t41, %t42) :: boolean
+        %t46 = select %t43, %t44, %t45 :: integer
+        %acc39 = acc_add agg.sum(%acc39, %t46) :: integer
+      end_loop
+      %t36 = acc_load %acc33 :: integer
+      %t47 = acc_load %acc39 :: integer
+      %t30 = make_object{name: %t27, total_payroll: %t36, manager_count: %t47} :: object
+      yield %t30
+    end_loop
+  )
+)

data/golden/loop_fusion/expected/nast.txt

@@ -0,0 +1,32 @@
+(NAST
+  (VALUE total_payroll
+    (Call :"agg.sum"
+    (InputRef [:departments, :dept, :employees, :emp, :salary])
+  )
+  )
+  (VALUE manager_count
+    (Call :sum
+    (Call :__select__
+      (Call :eq
+        (InputRef [:departments, :dept, :employees, :emp, :role])
+        (Const "manager")
+      )
+      (Const 1)
+      (Const 0)
+    )
+  )
+  )
+  (VALUE department_summary
+    (Hash
+    (Pair name 
+      (InputRef [:departments, :dept, :name])
+    )
+    (Pair total_payroll 
+      (Ref total_payroll)
+    )
+    (Pair manager_count 
+      (Ref manager_count)
+    )
+  )
+  )
+)

data/golden/loop_fusion/expected/schema_javascript.mjs

@@ -0,0 +1,64 @@
+export function _total_payroll(input) {
+  let out = [];
+  let t1 = input["departments"];
+  t1.forEach((departments_el_2, departments_i_3) => {
+    let acc_4 = 0;
+    let t5 = departments_el_2["employees"];
+    t5.forEach((employees_el_6, employees_i_7) => {
+      let t8 = employees_el_6["salary"];
+      acc_4 += t8;
+    });
+    out.push(acc_4);
+  });
+  return out;
+}
+
+export function _manager_count(input) {
+  let out = [];
+  let t10 = input["departments"];
+  const t18 = "manager";
+  const t20 = 1;
+  const t21 = 0;
+  t10.forEach((departments_el_11, departments_i_12) => {
+    let acc_13 = 0;
+    let t14 = departments_el_11["employees"];
+    t14.forEach((employees_el_15, employees_i_16) => {
+      let t17 = employees_el_15["role"];
+      let t19 = t17 == t18;
+      let t22 = t19 ? t20 : t21;
+      acc_13 += t22;
+    });
+    out.push(acc_13);
+  });
+  return out;
+}
+
+export function _department_summary(input) {
+  let out = [];
+  let t24 = input["departments"];
+  const t42 = "manager";
+  const t44 = 1;
+  const t45 = 0;
+  t24.forEach((departments_el_25, departments_i_26) => {
+    let t27 = departments_el_25["name"];
+    let acc33 = 0;
+    let t34 = departments_el_25["employees"];
+    let acc39 = 0;
+    t34.forEach((employees_el_6, employees_i_7) => {
+      let t35 = employees_el_6["salary"];
+      acc33 += t35;
+      let t41 = employees_el_6["role"];
+      let t43 = t41 == t42;
+      let t46 = t43 ? t44 : t45;
+      acc39 += t46;
+    });
+    let t30 = {
+      "name": t27,
+      "total_payroll": acc33,
+      "manager_count": acc39
+    };
+    out.push(t30);
+  });
+  return out;
+}
+

data/golden/loop_fusion/expected/schema_ruby.rb

@@ -0,0 +1,97 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_41f6e269d8de923ee6a1de8aef241075923042855e9ac9437d981767ab15a457
+  def self.from(input_data = nil)
+    instance = Object.new
+    instance.extend(self)
+    instance.instance_variable_set(:@input, input_data)
+    instance
+  end
+
+  def self.__kumi_executable__
+    instance = Object.new
+    instance.extend(self)
+    instance
+  end
+
+  def update(input_data)
+    @input = @input.merge(input_data)
+    self
+  end
+
+  def [](name)
+    case name
+    when :total_payroll then _total_payroll
+    when :manager_count then _manager_count
+    when :department_summary then _department_summary
+    else raise KeyError, "Unknown declaration"
+    end
+  end
+
+  def _total_payroll(input = @input)
+    out = []
+    t1 = input["departments"] || input[:departments]
+    t1.each_with_index do |departments_el_2, departments_i_3|
+      acc_4 = 0
+      t5 = departments_el_2["employees"] || departments_el_2[:employees]
+      t5.each_with_index do |employees_el_6, employees_i_7|
+        t8 = employees_el_6["salary"] || employees_el_6[:salary]
+        acc_4 += t8
+      end
+      t9 = acc_4
+      out << t9
+    end
+    out
+  end
+
+  def _manager_count(input = @input)
+    out = []
+    t10 = input["departments"] || input[:departments]
+    t18 = "manager"
+    t20 = 1
+    t21 = 0
+    t10.each_with_index do |departments_el_11, departments_i_12|
+      acc_13 = 0
+      t14 = departments_el_11["employees"] || departments_el_11[:employees]
+      t14.each_with_index do |employees_el_15, employees_i_16|
+        t17 = employees_el_15["role"] || employees_el_15[:role]
+        t19 = t17 == t18
+        t22 = t19 ? t20 : t21
+        acc_13 += t22
+      end
+      t23 = acc_13
+      out << t23
+    end
+    out
+  end
+
+  def _department_summary(input = @input)
+    out = []
+    t24 = input["departments"] || input[:departments]
+    t42 = "manager"
+    t44 = 1
+    t45 = 0
+    t24.each_with_index do |departments_el_25, departments_i_26|
+      t27 = departments_el_25["name"] || departments_el_25[:name]
+      acc33 = 0
+      t34 = departments_el_25["employees"] || departments_el_25[:employees]
+      acc39 = 0
+      t34.each_with_index do |employees_el_6, employees_i_7|
+        t35 = employees_el_6["salary"] || employees_el_6[:salary]
+        acc33 += t35
+        t41 = employees_el_6["role"] || employees_el_6[:role]
+        t43 = t41 == t42
+        t46 = t43 ? t44 : t45
+        acc39 += t46
+      end
+      t36 = acc33
+      t47 = acc39
+      t30 = {
+        "name" => t27,
+        "total_payroll" => t36,
+        "manager_count" => t47
+      }
+      out << t30
+    end
+    out
+  end
+end

data/golden/loop_fusion/expected/snast.txt

@@ -0,0 +1,32 @@
+(SNAST
+  (VALUE total_payroll
+    (Reduce :agg.sum over [employees]
+      (InputRef departments.dept.employees.emp.salary key_chain=[]) :: [departments, employees] -> integer
+    ) :: [departments] -> integer
+  ) :: [departments] -> integer
+  (VALUE manager_count
+    (Reduce :agg.sum over [employees]
+      (Select
+        (Call :core.eq
+          (InputRef departments.dept.employees.emp.role key_chain=[]) :: [departments, employees] -> string
+          (Const "manager") :: [] -> string
+        ) :: [departments, employees] -> boolean
+        (Const 1) :: [] -> integer
+        (Const 0) :: [] -> integer
+      ) :: [departments, employees] -> integer
+    ) :: [departments] -> integer
+  ) :: [departments] -> integer
+  (VALUE department_summary
+    (Hash
+      (Pair name
+        (InputRef departments.dept.name key_chain=[]) :: [departments] -> string
+      ) :: [departments] -> pair
+      (Pair total_payroll
+        (Ref total_payroll) :: [departments] -> integer
+      ) :: [departments] -> pair
+      (Pair manager_count
+        (Ref manager_count) :: [departments] -> integer
+      ) :: [departments] -> pair
+    ) :: [departments] -> hash
+  ) :: [departments] -> hash
+)

data/golden/loop_fusion/expected.json

@@ -0,0 +1,30 @@
+{
+    "total_payroll": [
+      400000,
+      285000,
+      75000
+    ],
+    "manager_count": [
+      1,
+      1,
+      0
+    ],
+    "department_summary": [
+      {
+        "name": "Engineering",
+        "total_payroll": 400000,
+        "manager_count": 1
+      },
+      {
+        "name": "Sales",
+        "total_payroll": 285000,
+        "manager_count": 1
+      },
+      {
+        "name": "HR",
+        "total_payroll": 75000,
+        "manager_count": 0
+      }
+    ]
+  }
+  

data/golden/loop_fusion/input.json

@@ -0,0 +1,28 @@
+{
+    "departments": [
+      {
+        "name": "Engineering",
+        "employees": [
+          { "salary": 120000, "role": "manager" },
+          { "salary": 95000, "role": "developer" },
+          { "salary": 105000, "role": "developer" },
+          { "salary": 80000, "role": "qa" }
+        ]
+      },
+      {
+        "name": "Sales",
+        "employees": [
+          { "salary": 110000, "role": "manager" },
+          { "salary": 85000, "role": "associate" },
+          { "salary": 90000, "role": "associate" }
+        ]
+      },
+      {
+        "name": "HR",
+        "employees": [
+          { "salary": 75000, "role": "specialist" }
+        ]
+      }
+    ]
+  }
+  

data/golden/loop_fusion/schema.kumi

@@ -0,0 +1,32 @@
+schema do
+  input do
+    array :departments do
+      hash :dept do
+        string :name
+        array :employees do
+          hash :emp do
+            integer :salary
+            string  :role
+          end
+        end
+      end
+    end
+  end
+
+  # VALUE 1: Requires a loop over all employees to sum their salaries.
+  # Scope: [:departments]
+  value :total_payroll, fn(:sum, input.departments.dept.employees.emp.salary)
+  value :manager_count, fn(:count_if, input.departments.dept.employees.emp.role, "manager")
+
+  # VALUE 2: Requires a separate loop over all employees to count managers.
+  # Scope: [:departments]
+
+  # This value depends on the two aggregations above.
+  # When the inliner expands this, it will create two back-to-back loops
+  # over the `employees` array inside the main `departments` loop.
+  value :department_summary, {
+    name: input.departments.dept.name,
+    total_payroll: total_payroll,
+    manager_count: manager_count
+  }
+end

data/golden/min_reduce_scope/expected/ast.txt

@@ -0,0 +1,49 @@
+(Root
+  inputs: [
+    (InputDeclaration :depts :array
+      [
+        (InputDeclaration :dept :hash
+          [
+            (InputDeclaration :teams :array
+              [
+                (InputDeclaration :team :hash
+                  [
+                    (InputDeclaration :headcount :integer)
+                  ]
+                )
+              ]
+            )
+          ]
+        )
+      ]
+    )
+  ]
+  values: [
+    (ValueDeclaration :dept_total
+      (CallExpression :sum
+        (InputElementReference depts.dept.teams.team.headcount)
+      )
+    )
+    (ValueDeclaration :company_total
+      (CallExpression :sum
+        (CallExpression :sum
+          (InputElementReference depts.dept.teams.team.headcount)
+        )
+      )
+    )
+    (ValueDeclaration :dept_total_masked
+      (CallExpression :sum_if
+        (InputElementReference depts.dept.teams.team.headcount)
+        (DeclarationReference :big_team)
+      )
+    )
+  ]
+  traits: [
+    (TraitDeclaration :big_team
+      (CallExpression :>
+        (InputElementReference depts.dept.teams.team.headcount)
+        (Literal 10)
+      )
+    )
+  ]
+)

data/golden/min_reduce_scope/expected/input_plan.txt

@@ -0,0 +1,9 @@
+depts: array (array) access_mode=element
+  └─> dept: element_access
+  dept: hash (hash)
+    └─> teams: property_access → array_loop
+    teams: array (array) access_mode=element
+      └─> team: element_access
+      team: hash (hash)
+        └─> headcount: property_access
+        headcount: integer