kumi 0.0.18 → 0.0.20

data/golden/nested_hash/expected/lir_00_unoptimized.txt

@@ -0,0 +1,10 @@
+(LIR
+  (Declaration double
+    %t1 = load_input "x" :: any
+    %t2 = load_field t1["y"] :: any
+    %t3 = load_field t2["z"] :: integer
+    %t4 = const 2 :: integer
+    %t5 = call core.mul(%t3, %t4) :: integer
+    yield %t5
+  )
+)

data/golden/nested_hash/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,10 @@
+(LIR
+  (Declaration double
+    %t1 = load_input "x" :: any
+    %t2 = load_field t1["y"] :: any
+    %t3 = load_field t2["z"] :: integer
+    %t4 = const 2 :: integer
+    %t5 = call core.mul(%t3, %t4) :: integer
+    yield %t5
+  )
+)

data/golden/nested_hash/expected/lir_02_inlined.txt

@@ -0,0 +1,10 @@
+(LIR
+  (Declaration double
+    %t1 = load_input "x" :: any
+    %t2 = load_field t1["y"] :: any
+    %t3 = load_field t2["z"] :: integer
+    %t4 = const 2 :: integer
+    %t5 = call core.mul(%t3, %t4) :: integer
+    yield %t5
+  )
+)

data/golden/nested_hash/expected/lir_03_cse.txt

@@ -0,0 +1,10 @@
+(LIR
+  (Declaration double
+    %t1 = load_input "x" :: any
+    %t2 = load_field t1["y"] :: any
+    %t3 = load_field t2["z"] :: integer
+    %t4 = const 2 :: integer
+    %t5 = call core.mul(%t3, %t4) :: integer
+    yield %t5
+  )
+)

data/golden/nested_hash/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,10 @@
+(LIR
+  (Declaration double
+    %t1 = load_input "x" :: any
+    %t2 = load_field t1["y"] :: any
+    %t3 = load_field t2["z"] :: integer
+    %t4 = const 2 :: integer
+    %t5 = call core.mul(%t3, %t4) :: integer
+    yield %t5
+  )
+)

data/golden/nested_hash/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,10 @@
+(LIR
+  (Declaration double
+    %t1 = load_input "x" :: any
+    %t2 = load_field t1["y"] :: any
+    %t3 = load_field t2["z"] :: integer
+    %t4 = const 2 :: integer
+    %t5 = call core.mul(%t3, %t4) :: integer
+    yield %t5
+  )
+)

data/golden/nested_hash/expected/lir_06_const_prop.txt

@@ -0,0 +1,10 @@
+(LIR
+  (Declaration double
+    %t1 = load_input "x" :: any
+    %t2 = load_field t1["y"] :: any
+    %t3 = load_field t2["z"] :: integer
+    %t4 = const 2 :: integer
+    %t5 = call core.mul(%t3, %t4) :: integer
+    yield %t5
+  )
+)

data/golden/nested_hash/expected/nast.txt

@@ -0,0 +1,8 @@
+(NAST
+  (VALUE double
+    (Call :"core.mul"
+    (InputRef [:x, :y, :z])
+    (Const 2)
+  )
+  )
+)

data/golden/nested_hash/expected/schema_javascript.mjs

@@ -0,0 +1,9 @@
+export function _double(input) {
+  let t1 = input["x"];
+  let t2 = t1["y"];
+  let t3 = t2["z"];
+  const t4 = 2;
+  let t5 = t3 * t4;
+  return t5;
+}
+

data/golden/nested_hash/expected/schema_ruby.rb

@@ -0,0 +1,35 @@
+# Autogenerated by Kumi Codegen
+module Kumi::Compiled::KUMI_016a8513cc07df5d92ed90449976ccc5a7cb934ade1e394caab5eb467faca93a
+  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 :double then _double
+    else raise KeyError, "Unknown declaration"
+    end
+  end
+
+  def _double(input = @input)
+    t1 = input["x"] || input[:x]
+    t2 = t1["y"] || t1[:y]
+    t3 = t2["z"] || t2[:z]
+    t4 = 2
+    t3 * t4
+  end
+end

data/golden/nested_hash/expected/snast.txt

@@ -0,0 +1,8 @@
+(SNAST
+  (VALUE double
+    (Call :core.mul
+      (InputRef x.y.z key_chain=[]) :: [] -> integer
+      (Const 2) :: [] -> integer
+    ) :: [] -> integer
+  ) :: [] -> integer
+)

data/golden/nested_hash/expected.json

@@ -0,0 +1,3 @@
+{
+  "double": 20
+}

data/golden/nested_hash/input.json

@@ -0,0 +1,7 @@
+{
+  "x": {
+    "y": {
+      "z": 10
+    }
+  }
+}

data/golden/nested_hash/schema.kumi

@@ -0,0 +1,11 @@
+schema do
+  input do
+    hash :x do
+      hash :y do
+        integer :z
+      end
+    end
+  end
+
+  value :double, input.x.y.z * 2
+end

data/golden/reduction_broadcast/expected/ast.txt

@@ -0,0 +1,49 @@
+(Root
+  inputs: [
+    (InputDeclaration :departments :array
+      [
+        (InputDeclaration :dept :hash
+          [
+            (InputDeclaration :dept_name :string)
+            (InputDeclaration :teams :array
+              [
+                (InputDeclaration :team :hash
+                  [
+                    (InputDeclaration :team_name :string)
+                    (InputDeclaration :headcount :integer)
+                  ]
+                )
+              ]
+            )
+          ]
+        )
+      ]
+    )
+  ]
+  values: [
+    (ValueDeclaration :dept_headcount
+      (CallExpression :sum
+        (InputElementReference departments.dept.teams.team.headcount)
+      )
+    )
+    (ValueDeclaration :teams_per_dept
+      (CallExpression :count
+        (InputElementReference departments.dept.teams.team.team_name)
+      )
+    )
+    (ValueDeclaration :avg_headcount_per_dept
+      (CallExpression :divide
+        (DeclarationReference :dept_headcount)
+        (DeclarationReference :teams_per_dept)
+      )
+    )
+  ]
+  traits: [
+    (TraitDeclaration :is_above_average_team
+      (CallExpression :>
+        (InputElementReference departments.dept.teams.team.headcount)
+        (DeclarationReference :avg_headcount_per_dept)
+      )
+    )
+  ]
+)

data/golden/reduction_broadcast/expected/input_plan.txt

@@ -0,0 +1,13 @@
+departments: array (array) access_mode=element
+  └─> dept: element_access
+  dept: hash (hash)
+    └─> dept_name: property_access
+    └─> teams: property_access → array_loop
+    dept_name: string
+    teams: array (array) access_mode=element
+      └─> team: element_access
+      team: hash (hash)
+        └─> team_name: property_access
+        └─> headcount: property_access
+        team_name: string
+        headcount: integer

data/golden/reduction_broadcast/expected/lir_00_unoptimized.txt

@@ -0,0 +1,49 @@
+(LIR
+  (Declaration dept_headcount
+    %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["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration teams_per_dept
+    %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["teams"] :: any
+      loop teams id=L4 in %t14 as el=%teams_el_15, idx=%teams_i_16
+        %t17 = load_field teams_el_15["team_name"] :: string
+        %acc_13 = acc_add agg.count(%acc_13, %t17) :: integer
+      end_loop
+      %t18 = acc_load %acc_13 :: integer
+      yield %t18
+    end_loop
+  )
+  (Declaration avg_headcount_per_dept
+    %t19 = load_input "departments" :: array
+    loop departments id=L5 in %t19 as el=%departments_el_20, idx=%departments_i_21
+      %t22 = load_decl dept_headcount axes=[departments] :: integer
+      %t23 = load_decl teams_per_dept axes=[departments] :: integer
+      %t24 = call core.div(%t22, %t23) :: float
+      yield %t24
+    end_loop
+  )
+  (Declaration is_above_average_team
+    %t25 = load_input "departments" :: array
+    loop departments id=L6 in %t25 as el=%departments_el_26, idx=%departments_i_27
+      %t28 = load_field departments_el_26["teams"] :: any
+      loop teams id=L7 in %t28 as el=%teams_el_29, idx=%teams_i_30
+        %t31 = load_field teams_el_29["headcount"] :: integer
+        %t32 = load_decl avg_headcount_per_dept axes=[departments] :: float
+        %t33 = call core.gt(%t31, %t32) :: boolean
+        yield %t33
+      end_loop
+    end_loop
+  )
+)

data/golden/reduction_broadcast/expected/lir_01_hoist_scalar_references.txt

@@ -0,0 +1,49 @@
+(LIR
+  (Declaration dept_headcount
+    %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["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration teams_per_dept
+    %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["teams"] :: any
+      loop teams id=L4 in %t14 as el=%teams_el_15, idx=%teams_i_16
+        %t17 = load_field teams_el_15["team_name"] :: string
+        %acc_13 = acc_add agg.count(%acc_13, %t17) :: integer
+      end_loop
+      %t18 = acc_load %acc_13 :: integer
+      yield %t18
+    end_loop
+  )
+  (Declaration avg_headcount_per_dept
+    %t19 = load_input "departments" :: array
+    loop departments id=L5 in %t19 as el=%departments_el_20, idx=%departments_i_21
+      %t22 = load_decl dept_headcount axes=[departments] :: integer
+      %t23 = load_decl teams_per_dept axes=[departments] :: integer
+      %t24 = call core.div(%t22, %t23) :: float
+      yield %t24
+    end_loop
+  )
+  (Declaration is_above_average_team
+    %t25 = load_input "departments" :: array
+    loop departments id=L6 in %t25 as el=%departments_el_26, idx=%departments_i_27
+      %t28 = load_field departments_el_26["teams"] :: any
+      loop teams id=L7 in %t28 as el=%teams_el_29, idx=%teams_i_30
+        %t31 = load_field teams_el_29["headcount"] :: integer
+        %t32 = load_decl avg_headcount_per_dept axes=[departments] :: float
+        %t33 = call core.gt(%t31, %t32) :: boolean
+        yield %t33
+      end_loop
+    end_loop
+  )
+)

data/golden/reduction_broadcast/expected/lir_02_inlined.txt

@@ -0,0 +1,80 @@
+(LIR
+  (Declaration dept_headcount
+    %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["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration teams_per_dept
+    %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["teams"] :: any
+      loop teams id=L4 in %t14 as el=%teams_el_15, idx=%teams_i_16
+        %t17 = load_field teams_el_15["team_name"] :: string
+        %acc_13 = acc_add agg.count(%acc_13, %t17) :: integer
+      end_loop
+      %t18 = acc_load %acc_13 :: integer
+      yield %t18
+    end_loop
+  )
+  (Declaration avg_headcount_per_dept
+    %t19 = load_input "departments" :: array
+    loop departments id=L5 in %t19 as el=%departments_el_20, idx=%departments_i_21
+      %t34 = load_input "departments" :: array
+      %acc36 = decl_acc :: integer
+      %t37 = load_field departments_el_20["teams"] :: any
+      loop teams id=L8 in %t37 as el=%teams_el_6, idx=%teams_i_7
+        %t38 = load_field teams_el_6["headcount"] :: integer
+        %acc36 = acc_add agg.sum(%acc36, %t38) :: integer
+      end_loop
+      %t39 = acc_load %acc36 :: integer
+      %t40 = load_input "departments" :: array
+      %acc42 = decl_acc :: integer
+      %t43 = load_field departments_el_20["teams"] :: any
+      loop teams id=L9 in %t43 as el=%teams_el_15, idx=%teams_i_16
+        %t44 = load_field teams_el_15["team_name"] :: string
+        %acc42 = acc_add agg.count(%acc42, %t44) :: integer
+      end_loop
+      %t45 = acc_load %acc42 :: integer
+      %t24 = call core.div(%t39, %t45) :: float
+      yield %t24
+    end_loop
+  )
+  (Declaration is_above_average_team
+    %t25 = load_input "departments" :: array
+    loop departments id=L6 in %t25 as el=%departments_el_26, idx=%departments_i_27
+      %t28 = load_field departments_el_26["teams"] :: any
+      %t46 = load_input "departments" :: array
+      %t50 = load_input "departments" :: array
+      %acc52 = decl_acc :: integer
+      %t53 = load_field departments_el_26["teams"] :: any
+      loop teams id=L10 in %t53 as el=%teams_el_6, idx=%teams_i_7
+        %t54 = load_field teams_el_6["headcount"] :: integer
+        %acc52 = acc_add agg.sum(%acc52, %t54) :: integer
+      end_loop
+      %t55 = acc_load %acc52 :: integer
+      %t56 = load_input "departments" :: array
+      %acc58 = decl_acc :: integer
+      %t59 = load_field departments_el_26["teams"] :: any
+      loop teams id=L11 in %t59 as el=%teams_el_15, idx=%teams_i_16
+        %t60 = load_field teams_el_15["team_name"] :: string
+        %acc58 = acc_add agg.count(%acc58, %t60) :: integer
+      end_loop
+      %t61 = acc_load %acc58 :: integer
+      %t49 = call core.div(%t55, %t61) :: float
+      loop teams id=L7 in %t28 as el=%teams_el_29, idx=%teams_i_30
+        %t31 = load_field teams_el_29["headcount"] :: integer
+        %t33 = call core.gt(%t31, %t49) :: boolean
+        yield %t33
+      end_loop
+    end_loop
+  )
+)

data/golden/reduction_broadcast/expected/lir_03_cse.txt

@@ -0,0 +1,68 @@
+(LIR
+  (Declaration dept_headcount
+    %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["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration teams_per_dept
+    %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["teams"] :: any
+      loop teams id=L4 in %t14 as el=%teams_el_15, idx=%teams_i_16
+        %t17 = load_field teams_el_15["team_name"] :: string
+        %acc_13 = acc_add agg.count(%acc_13, %t17) :: integer
+      end_loop
+      %t18 = acc_load %acc_13 :: integer
+      yield %t18
+    end_loop
+  )
+  (Declaration avg_headcount_per_dept
+    %t19 = load_input "departments" :: array
+    loop departments id=L5 in %t19 as el=%departments_el_20, idx=%departments_i_21
+      %acc36 = decl_acc :: integer
+      %t37 = load_field departments_el_20["teams"] :: any
+      %acc42 = decl_acc :: integer
+      loop teams id=L8 in %t37 as el=%teams_el_6, idx=%teams_i_7
+        %t38 = load_field teams_el_6["headcount"] :: integer
+        %acc36 = acc_add agg.sum(%acc36, %t38) :: integer
+        %t44 = load_field teams_el_6["team_name"] :: string
+        %acc42 = acc_add agg.count(%acc42, %t44) :: integer
+      end_loop
+      %t39 = acc_load %acc36 :: integer
+      %t45 = acc_load %acc42 :: integer
+      %t24 = call core.div(%t39, %t45) :: float
+      yield %t24
+    end_loop
+  )
+  (Declaration is_above_average_team
+    %t25 = load_input "departments" :: array
+    loop departments id=L6 in %t25 as el=%departments_el_26, idx=%departments_i_27
+      %t28 = load_field departments_el_26["teams"] :: any
+      %acc52 = decl_acc :: integer
+      %acc58 = decl_acc :: integer
+      loop teams id=L10 in %t28 as el=%teams_el_6, idx=%teams_i_7
+        %t54 = load_field teams_el_6["headcount"] :: integer
+        %acc52 = acc_add agg.sum(%acc52, %t54) :: integer
+        %t60 = load_field teams_el_6["team_name"] :: string
+        %acc58 = acc_add agg.count(%acc58, %t60) :: integer
+      end_loop
+      %t55 = acc_load %acc52 :: integer
+      %t61 = acc_load %acc58 :: integer
+      %t49 = call core.div(%t55, %t61) :: float
+      loop teams id=L7 in %t28 as el=%teams_el_29, idx=%teams_i_30
+        %t31 = load_field teams_el_29["headcount"] :: integer
+        %t33 = call core.gt(%t31, %t49) :: boolean
+        yield %t33
+      end_loop
+    end_loop
+  )
+)

data/golden/reduction_broadcast/expected/lir_04_1_loop_fusion.txt

@@ -0,0 +1,68 @@
+(LIR
+  (Declaration dept_headcount
+    %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["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration teams_per_dept
+    %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["teams"] :: any
+      loop teams id=L4 in %t14 as el=%teams_el_15, idx=%teams_i_16
+        %t17 = load_field teams_el_15["team_name"] :: string
+        %acc_13 = acc_add agg.count(%acc_13, %t17) :: integer
+      end_loop
+      %t18 = acc_load %acc_13 :: integer
+      yield %t18
+    end_loop
+  )
+  (Declaration avg_headcount_per_dept
+    %t19 = load_input "departments" :: array
+    loop departments id=L5 in %t19 as el=%departments_el_20, idx=%departments_i_21
+      %acc36 = decl_acc :: integer
+      %t37 = load_field departments_el_20["teams"] :: any
+      %acc42 = decl_acc :: integer
+      loop teams id=L8 in %t37 as el=%teams_el_6, idx=%teams_i_7
+        %t38 = load_field teams_el_6["headcount"] :: integer
+        %acc36 = acc_add agg.sum(%acc36, %t38) :: integer
+        %t44 = load_field teams_el_6["team_name"] :: string
+        %acc42 = acc_add agg.count(%acc42, %t44) :: integer
+      end_loop
+      %t39 = acc_load %acc36 :: integer
+      %t45 = acc_load %acc42 :: integer
+      %t24 = call core.div(%t39, %t45) :: float
+      yield %t24
+    end_loop
+  )
+  (Declaration is_above_average_team
+    %t25 = load_input "departments" :: array
+    loop departments id=L6 in %t25 as el=%departments_el_26, idx=%departments_i_27
+      %t28 = load_field departments_el_26["teams"] :: any
+      %acc52 = decl_acc :: integer
+      %acc58 = decl_acc :: integer
+      loop teams id=L10 in %t28 as el=%teams_el_6, idx=%teams_i_7
+        %t54 = load_field teams_el_6["headcount"] :: integer
+        %acc52 = acc_add agg.sum(%acc52, %t54) :: integer
+        %t60 = load_field teams_el_6["team_name"] :: string
+        %acc58 = acc_add agg.count(%acc58, %t60) :: integer
+      end_loop
+      %t55 = acc_load %acc52 :: integer
+      %t61 = acc_load %acc58 :: integer
+      %t49 = call core.div(%t55, %t61) :: float
+      loop teams id=L7 in %t28 as el=%teams_el_29, idx=%teams_i_30
+        %t31 = load_field teams_el_29["headcount"] :: integer
+        %t33 = call core.gt(%t31, %t49) :: boolean
+        yield %t33
+      end_loop
+    end_loop
+  )
+)

data/golden/reduction_broadcast/expected/lir_04_loop_invcm.txt

@@ -0,0 +1,68 @@
+(LIR
+  (Declaration dept_headcount
+    %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["teams"] :: any
+      loop teams id=L2 in %t5 as el=%teams_el_6, idx=%teams_i_7
+        %t8 = load_field teams_el_6["headcount"] :: integer
+        %acc_4 = acc_add agg.sum(%acc_4, %t8) :: integer
+      end_loop
+      %t9 = acc_load %acc_4 :: integer
+      yield %t9
+    end_loop
+  )
+  (Declaration teams_per_dept
+    %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["teams"] :: any
+      loop teams id=L4 in %t14 as el=%teams_el_15, idx=%teams_i_16
+        %t17 = load_field teams_el_15["team_name"] :: string
+        %acc_13 = acc_add agg.count(%acc_13, %t17) :: integer
+      end_loop
+      %t18 = acc_load %acc_13 :: integer
+      yield %t18
+    end_loop
+  )
+  (Declaration avg_headcount_per_dept
+    %t19 = load_input "departments" :: array
+    loop departments id=L5 in %t19 as el=%departments_el_20, idx=%departments_i_21
+      %acc36 = decl_acc :: integer
+      %t37 = load_field departments_el_20["teams"] :: any
+      %acc42 = decl_acc :: integer
+      loop teams id=L8 in %t37 as el=%teams_el_6, idx=%teams_i_7
+        %t38 = load_field teams_el_6["headcount"] :: integer
+        %acc36 = acc_add agg.sum(%acc36, %t38) :: integer
+        %t44 = load_field teams_el_6["team_name"] :: string
+        %acc42 = acc_add agg.count(%acc42, %t44) :: integer
+      end_loop
+      %t39 = acc_load %acc36 :: integer
+      %t45 = acc_load %acc42 :: integer
+      %t24 = call core.div(%t39, %t45) :: float
+      yield %t24
+    end_loop
+  )
+  (Declaration is_above_average_team
+    %t25 = load_input "departments" :: array
+    loop departments id=L6 in %t25 as el=%departments_el_26, idx=%departments_i_27
+      %t28 = load_field departments_el_26["teams"] :: any
+      %acc52 = decl_acc :: integer
+      %acc58 = decl_acc :: integer
+      loop teams id=L10 in %t28 as el=%teams_el_6, idx=%teams_i_7
+        %t54 = load_field teams_el_6["headcount"] :: integer
+        %acc52 = acc_add agg.sum(%acc52, %t54) :: integer
+        %t60 = load_field teams_el_6["team_name"] :: string
+        %acc58 = acc_add agg.count(%acc58, %t60) :: integer
+      end_loop
+      %t55 = acc_load %acc52 :: integer
+      %t61 = acc_load %acc58 :: integer
+      %t49 = call core.div(%t55, %t61) :: float
+      loop teams id=L7 in %t28 as el=%teams_el_29, idx=%teams_i_30
+        %t31 = load_field teams_el_29["headcount"] :: integer
+        %t33 = call core.gt(%t31, %t49) :: boolean
+        yield %t33
+      end_loop
+    end_loop
+  )
+)