kumi 0.0.31 → 0.0.33

data/golden/game_of_life/expected/schema_javascript.mjs

@@ -2,25 +2,18 @@ export function _next_state(input) {
   let out = [];
   let t285 = input["rows"];
   let t1548 = t285.length;
-  const t1549 = -1;
-  const t1551 = 0;
-  const t1555 = 1;
-  const t1534 = 3;
-  const t1745 = 2;
-  const t1952 = 0;
-  const t291 = 1;
-  let t1556 = t1548 - t1555;
+  let t1556 = t1548 - 1;
   t285.forEach((rows_el_286, rows_i_287) => {
     let out_1 = [];
-    let t1550 = rows_i_287 - t1549;
-    let t1570 = rows_i_287 - t1555;
+    let t1550 = rows_i_287 - -1;
+    let t1570 = rows_i_287 - 1;
     let t1589 = ((rows_i_287 % t1548) + t1548) % t1548;
-    let t1552 = t1550 >= t1551;
+    let t1552 = t1550 >= 0;
     let t1553 = t1550 < t1548;
-    let t1558 = Math.min(Math.max(t1550, t1551), t1556);
-    let t1572 = t1570 >= t1551;
+    let t1558 = Math.min(Math.max(t1550, 0), t1556);
+    let t1572 = t1570 >= 0;
     let t1573 = t1570 < t1548;
-    let t1578 = Math.min(Math.max(t1570, t1551), t1556);
+    let t1578 = Math.min(Math.max(t1570, 0), t1556);
     let t1590 = t1589 + t1548;
     let t1554 = t1552 && t1553;
     let t1559 = t285[t1558];
@@ -31,66 +24,66 @@ export function _next_state(input) {
     let t1580 = t1579.length;
     let t1592 = t285[t1591];
     let t1593 = t1592.length;
-    let t1649 = t1560 - t1555;
-    let t1705 = t1580 - t1555;
-    let t1601 = t1593 - t1555;
+    let t1649 = t1560 - 1;
+    let t1705 = t1580 - 1;
+    let t1601 = t1593 - 1;
     rows_el_286.forEach((col_el_288, col_i_289) => {
       let t1561 = ((col_i_289 % t1560) + t1560) % t1560;
       let t1562 = t1561 + t1560;
       let t1563 = ((t1562 % t1560) + t1560) % t1560;
       let t1564 = t1559[t1563];
-      let t1566 = t1554 ? t1564 : t1551;
+      let t1566 = t1554 ? t1564 : 0;
       let t1581 = ((col_i_289 % t1580) + t1580) % t1580;
       let t1582 = t1581 + t1580;
       let t1583 = ((t1582 % t1580) + t1580) % t1580;
       let t1584 = t1579[t1583];
-      let t1586 = t1574 ? t1584 : t1551;
-      let t1595 = col_i_289 - t1549;
-      let t1597 = t1595 >= t1551;
+      let t1586 = t1574 ? t1584 : 0;
+      let t1595 = col_i_289 - -1;
+      let t1597 = t1595 >= 0;
       let t1598 = t1595 < t1593;
       let t1599 = t1597 && t1598;
-      let t1603 = Math.min(Math.max(t1595, t1551), t1601);
+      let t1603 = Math.min(Math.max(t1595, 0), t1601);
       let t1604 = t1592[t1603];
-      let t1606 = t1599 ? t1604 : t1551;
-      let t1615 = col_i_289 - t1555;
-      let t1617 = t1615 >= t1551;
+      let t1606 = t1599 ? t1604 : 0;
+      let t1615 = col_i_289 - 1;
+      let t1617 = t1615 >= 0;
       let t1618 = t1615 < t1593;
       let t1619 = t1617 && t1618;
-      let t1623 = Math.min(Math.max(t1615, t1551), t1601);
+      let t1623 = Math.min(Math.max(t1615, 0), t1601);
       let t1624 = t1592[t1623];
-      let t1626 = t1619 ? t1624 : t1551;
+      let t1626 = t1619 ? t1624 : 0;
       let t1645 = t1595 < t1560;
       let t1646 = t1597 && t1645;
       let t1647 = t1554 && t1646;
-      let t1651 = Math.min(Math.max(t1595, t1551), t1649);
+      let t1651 = Math.min(Math.max(t1595, 0), t1649);
       let t1652 = t1559[t1651];
-      let t1654 = t1647 ? t1652 : t1551;
+      let t1654 = t1647 ? t1652 : 0;
       let t1673 = t1615 < t1560;
       let t1674 = t1617 && t1673;
       let t1675 = t1554 && t1674;
-      let t1679 = Math.min(Math.max(t1615, t1551), t1649);
+      let t1679 = Math.min(Math.max(t1615, 0), t1649);
       let t1680 = t1559[t1679];
-      let t1682 = t1675 ? t1680 : t1551;
+      let t1682 = t1675 ? t1680 : 0;
       let t1701 = t1595 < t1580;
       let t1702 = t1597 && t1701;
       let t1703 = t1574 && t1702;
-      let t1707 = Math.min(Math.max(t1595, t1551), t1705);
+      let t1707 = Math.min(Math.max(t1595, 0), t1705);
       let t1708 = t1579[t1707];
-      let t1710 = t1703 ? t1708 : t1551;
+      let t1710 = t1703 ? t1708 : 0;
       let t1729 = t1615 < t1580;
       let t1730 = t1617 && t1729;
       let t1731 = t1574 && t1730;
-      let t1735 = Math.min(Math.max(t1615, t1551), t1705);
+      let t1735 = Math.min(Math.max(t1615, 0), t1705);
       let t1736 = t1579[t1735];
-      let t1738 = t1731 ? t1736 : t1551;
+      let t1738 = t1731 ? t1736 : 0;
       let t1545 = [t1566, t1586, t1606, t1626, t1654, t1682, t1710, t1738];
       let t1546 = t1545.reduce((a, b) => a + b, 0);
-      let t1535 = t1546 == t1534;
-      let t1746 = t1546 == t1745;
-      let t1953 = col_el_288 > t1952;
+      let t1535 = t1546 == 3;
+      let t1746 = t1546 == 2;
+      let t1953 = col_el_288 > 0;
       let t1742 = t1746 && t1953;
       let t1531 = t1535 || t1742;
-      let t293 = t1531 ? t291 : t1952;
+      let t293 = t1531 ? 1 : 0;
       out_1.push(t293);
     });
     out.push(out_1);

data/golden/game_of_life/expected/schema_ruby.rb

@@ -1,53 +1,21 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_da8a14f5173aeacc57a51c4ce575639861c36278e0af1886b5340976ef99de82
-  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 :next_state then _next_state
-    else raise KeyError, "Unknown declaration"
-    end
-  end
-
-  def _next_state(input = @input)
+module Kumi::Compiled::KUMI_5bbfe4bf28c656f1df22503b4412e8871a2a4e92d92ede753da4ae8639bcf51a
+  def self._next_state(input)
     out = []
     t285 = input["rows"] || input[:rows]
     t1548 = t285.length
-    t1549 = -1
-    t1551 = 0
-    t1555 = 1
-    t1534 = 3
-    t1745 = 2
-    t1952 = 0
-    t291 = 1
-    t1556 = t1548 - t1555
+    t1556 = t1548 - 1
     t285.each_with_index do |rows_el_286, rows_i_287|
       out_1 = []
-      t1550 = rows_i_287 - t1549
-      t1570 = rows_i_287 - t1555
+      t1550 = rows_i_287 - -1
+      t1570 = rows_i_287 - 1
       t1589 = rows_i_287 % t1548
-      t1552 = t1550 >= t1551
+      t1552 = t1550 >= 0
       t1553 = t1550 < t1548
-      t1558 = [[ t1550, t1551 ].max, t1556 ].min
-      t1572 = t1570 >= t1551
+      t1558 = t1550.clamp(0, t1556)
+      t1572 = t1570 >= 0
       t1573 = t1570 < t1548
-      t1578 = [[ t1570, t1551 ].max, t1556 ].min
+      t1578 = t1570.clamp(0, t1556)
       t1590 = t1589 + t1548
       t1554 = t1552 && t1553
       t1559 = t285[t1558]
@@ -58,66 +26,66 @@ module Kumi::Compiled::KUMI_da8a14f5173aeacc57a51c4ce575639861c36278e0af1886b534
       t1580 = t1579.length
       t1592 = t285[t1591]
       t1593 = t1592.length
-      t1649 = t1560 - t1555
-      t1705 = t1580 - t1555
-      t1601 = t1593 - t1555
+      t1649 = t1560 - 1
+      t1705 = t1580 - 1
+      t1601 = t1593 - 1
       rows_el_286.each_with_index do |col_el_288, col_i_289|
         t1561 = col_i_289 % t1560
         t1562 = t1561 + t1560
         t1563 = t1562 % t1560
         t1564 = t1559[t1563]
-        t1566 = t1554 ? t1564 : t1551
+        t1566 = t1554 ? t1564 : 0
         t1581 = col_i_289 % t1580
         t1582 = t1581 + t1580
         t1583 = t1582 % t1580
         t1584 = t1579[t1583]
-        t1586 = t1574 ? t1584 : t1551
-        t1595 = col_i_289 - t1549
-        t1597 = t1595 >= t1551
+        t1586 = t1574 ? t1584 : 0
+        t1595 = col_i_289 - -1
+        t1597 = t1595 >= 0
         t1598 = t1595 < t1593
         t1599 = t1597 && t1598
-        t1603 = [[ t1595, t1551 ].max, t1601 ].min
+        t1603 = t1595.clamp(0, t1601)
         t1604 = t1592[t1603]
-        t1606 = t1599 ? t1604 : t1551
-        t1615 = col_i_289 - t1555
-        t1617 = t1615 >= t1551
+        t1606 = t1599 ? t1604 : 0
+        t1615 = col_i_289 - 1
+        t1617 = t1615 >= 0
         t1618 = t1615 < t1593
         t1619 = t1617 && t1618
-        t1623 = [[ t1615, t1551 ].max, t1601 ].min
+        t1623 = t1615.clamp(0, t1601)
         t1624 = t1592[t1623]
-        t1626 = t1619 ? t1624 : t1551
+        t1626 = t1619 ? t1624 : 0
         t1645 = t1595 < t1560
         t1646 = t1597 && t1645
         t1647 = t1554 && t1646
-        t1651 = [[ t1595, t1551 ].max, t1649 ].min
+        t1651 = t1595.clamp(0, t1649)
         t1652 = t1559[t1651]
-        t1654 = t1647 ? t1652 : t1551
+        t1654 = t1647 ? t1652 : 0
         t1673 = t1615 < t1560
         t1674 = t1617 && t1673
         t1675 = t1554 && t1674
-        t1679 = [[ t1615, t1551 ].max, t1649 ].min
+        t1679 = t1615.clamp(0, t1649)
         t1680 = t1559[t1679]
-        t1682 = t1675 ? t1680 : t1551
+        t1682 = t1675 ? t1680 : 0
         t1701 = t1595 < t1580
         t1702 = t1597 && t1701
         t1703 = t1574 && t1702
-        t1707 = [[ t1595, t1551 ].max, t1705 ].min
+        t1707 = t1595.clamp(0, t1705)
         t1708 = t1579[t1707]
-        t1710 = t1703 ? t1708 : t1551
+        t1710 = t1703 ? t1708 : 0
         t1729 = t1615 < t1580
         t1730 = t1617 && t1729
         t1731 = t1574 && t1730
-        t1735 = [[ t1615, t1551 ].max, t1705 ].min
+        t1735 = t1615.clamp(0, t1705)
         t1736 = t1579[t1735]
-        t1738 = t1731 ? t1736 : t1551
+        t1738 = t1731 ? t1736 : 0
         t1545 = [t1566, t1586, t1606, t1626, t1654, t1682, t1710, t1738]
         t1546 = t1545.sum
-        t1535 = t1546 == t1534
-        t1746 = t1546 == t1745
-        t1953 = col_el_288 > t1952
+        t1535 = t1546 == 3
+        t1746 = t1546 == 2
+        t1953 = col_el_288 > 0
         t1742 = t1746 && t1953
         t1531 = t1535 || t1742
-        t293 = t1531 ? t291 : t1952
+        t293 = t1531 ? 1 : 0
         out_1 << t293
       end
       out << out_1

data/golden/hash_keys/expected/lir_06_const_prop.txt

@@ -1,18 +1,12 @@
 (LIR
   (Declaration meta
-    %t1 = const "grid2d" :: string
     %t2 = load_input "width" :: integer
     %t3 = load_input "height" :: integer
     %t4 = make_object{width: %t2, height: %t3} :: object
-    %t5 = const "random" :: string
-    %t6 = const 0.3 :: float
-    %t7 = make_object{kind: %t5, density: %t6} :: object
-    %t8 = const 10 :: integer
-    %t9 = const "#0f1219" :: string
-    %t10 = const "#10b981" :: string
-    %t11 = make_object{0: %t9, 1: %t10} :: object
-    %t12 = make_object{cellSize: %t8, palette: %t11} :: object
-    %t13 = make_object{render: %t1, size: %t4, prefill: %t7, ui: %t12} :: object
+    %t7 = make_object{random: %__immediate_placeholder__, 0.3: %__immediate_placeholder__, kind: nil, density: nil} :: object
+    %t11 = make_object{#0f1219: %__immediate_placeholder__, #10b981: %__immediate_placeholder__, 0: nil, 1: nil} :: object
+    %t12 = make_object{10: %__immediate_placeholder__, cellSize: %t11, palette: nil} :: object
+    %t13 = make_object{grid2d: %__immediate_placeholder__, render: %t4, size: %t7, prefill: %t12, ui: nil} :: object
     yield %t13
   )
 )

data/golden/hash_keys/expected/schema_javascript.mjs

@@ -1,30 +1,24 @@
 export function _meta(input) {
-  const t1 = "grid2d";
   let t2 = input["width"];
   let t3 = input["height"];
   let t4 = {
     "width": t2,
     "height": t3
   };
-  const t5 = "random";
-  const t6 = 0.3;
   let t7 = {
-    "kind": t5,
-    "density": t6
+    "kind": "random",
+    "density": 0.3
   };
-  const t8 = 10;
-  const t9 = "#0f1219";
-  const t10 = "#10b981";
   let t11 = {
-    "0": t9,
-    "1": t10
+    "0": "#0f1219",
+    "1": "#10b981"
   };
   let t12 = {
-    "cellSize": t8,
+    "cellSize": 10,
     "palette": t11
   };
   let t13 = {
-    "render": t1,
+    "render": "grid2d",
     "size": t4,
     "prefill": t7,
     "ui": t12

data/golden/hash_keys/expected/schema_ruby.rb

@@ -1,57 +1,26 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_df570c0a7440e6c42f61808ead694fc643f737a548b2afb9b78c280e8df472ea
-  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 :meta then _meta
-    else raise KeyError, "Unknown declaration"
-    end
-  end
-
-  def _meta(input = @input)
-    t1 = "grid2d"
+module Kumi::Compiled::KUMI_886bab866ea4f5ef1d52910f9fd141773dd27be56e96c337fb54ded49d90b32f
+  def self._meta(input)
     t2 = input["width"] || input[:width]
     t3 = input["height"] || input[:height]
     t4 = {
       "width" => t2,
       "height" => t3
     }
-    t5 = "random"
-    t6 = 0.3
     t7 = {
-      "kind" => t5,
-      "density" => t6
+      "kind" => "random",
+      "density" => 0.3
     }
-    t8 = 10
-    t9 = "#0f1219"
-    t10 = "#10b981"
     t11 = {
-      "0" => t9,
-      "1" => t10
+      "0" => "#0f1219",
+      "1" => "#10b981"
     }
     t12 = {
-      "cellSize" => t8,
+      "cellSize" => 10,
       "palette" => t11
     }
     t13 = {
-      "render" => t1,
+      "render" => "grid2d",
       "size" => t4,
       "prefill" => t7,
       "ui" => t12

data/golden/hash_value/expected/lir_06_const_prop.txt

@@ -10,23 +10,20 @@
   )
   (Declaration is_john
     %t7 = load_input "users" :: array
-    %t11 = const "John" :: string
     loop users id=L2 in %t7 as el=%users_el_8, idx=%users_i_9
       %t10 = load_field users_el_8["name"] :: string
-      %t12 = call core.eq(%t10, %t11) :: boolean
+      %t12 = call core.eq(%t10, "John") :: boolean
       yield %t12
     end_loop
   )
   (Declaration john_user
     %t13 = load_input "users" :: array
-    %t22 = const "John" :: string
-    %t18 = const "NOT_JOHN" :: string
     loop users id=L3 in %t13 as el=%users_el_14, idx=%users_i_15
       %t21 = load_field users_el_14["name"] :: string
       %t26 = load_field users_el_14["state"] :: string
-      %t23 = call core.eq(%t21, %t22) :: boolean
+      %t23 = call core.eq(%t21, "John") :: boolean
       %t27 = make_object{name: %t21, state: %t26} :: object
-      %t19 = select %t23, %t27, %t18 :: hash
+      %t19 = select %t23, %t27, "NOT_JOHN" :: hash
       yield %t19
     end_loop
   )

data/golden/hash_value/expected/schema_javascript.mjs

@@ -16,10 +16,9 @@ export function _users(input) {
 export function _is_john(input) {
   let out = [];
   let t7 = input["users"];
-  const t11 = "John";
   t7.forEach((users_el_8, users_i_9) => {
     let t10 = users_el_8["name"];
-    let t12 = t10 == t11;
+    let t12 = t10 == "John";
     out.push(t12);
   });
   return out;
@@ -28,17 +27,15 @@ export function _is_john(input) {
 export function _john_user(input) {
   let out = [];
   let t13 = input["users"];
-  const t22 = "John";
-  const t18 = "NOT_JOHN";
   t13.forEach((users_el_14, users_i_15) => {
     let t21 = users_el_14["name"];
     let t26 = users_el_14["state"];
-    let t23 = t21 == t22;
+    let t23 = t21 == "John";
     let t27 = {
       "name": t21,
       "state": t26
     };
-    let t19 = t23 ? t27 : t18;
+    let t19 = t23 ? t27 : "NOT_JOHN";
     out.push(t19);
   });
   return out;

data/golden/hash_value/expected/schema_ruby.rb

@@ -1,33 +1,6 @@
 # Autogenerated by Kumi Codegen
-module Kumi::Compiled::KUMI_20851df9e37717955d2f6618a6c66f18be4297a15b09489940b557582645f688
-  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 :users then _users
-    when :is_john then _is_john
-    when :john_user then _john_user
-    else raise KeyError, "Unknown declaration"
-    end
-  end
-
-  def _users(input = @input)
+module Kumi::Compiled::KUMI_e1770a87f5908c45ce123c37f83a13dd10f3651397af4f75453392061c62fb24
+  def self._users(input)
     out = []
     t1 = input["users"] || input[:users]
     t1.each_with_index do |users_el_2, users_i_3|
@@ -42,32 +15,29 @@ module Kumi::Compiled::KUMI_20851df9e37717955d2f6618a6c66f18be4297a15b09489940b5
     out
   end
 
-  def _is_john(input = @input)
+  def self._is_john(input)
     out = []
     t7 = input["users"] || input[:users]
-    t11 = "John"
     t7.each_with_index do |users_el_8, users_i_9|
       t10 = users_el_8["name"] || users_el_8[:name]
-      t12 = t10 == t11
+      t12 = t10 == "John"
       out << t12
     end
     out
   end
 
-  def _john_user(input = @input)
+  def self._john_user(input)
     out = []
     t13 = input["users"] || input[:users]
-    t22 = "John"
-    t18 = "NOT_JOHN"
     t13.each_with_index do |users_el_14, users_i_15|
       t21 = users_el_14["name"] || users_el_14[:name]
       t26 = users_el_14["state"] || users_el_14[:state]
-      t23 = t21 == t22
+      t23 = t21 == "John"
       t27 = {
         "name" => t21,
         "state" => t26
       }
-      t19 = t23 ? t27 : t18
+      t19 = t23 ? t27 : "NOT_JOHN"
       out << t19
     end
     out

data/golden/hierarchical_complex/expected/lir_06_const_prop.txt

@@ -1,7 +1,6 @@
 (LIR
   (Declaration high_performer
     %t1 = load_input "regions" :: array
-    %t14 = const 4.5 :: float
     loop regions id=L1 in %t1 as el=%regions_el_2, idx=%regions_i_3
       %t4 = load_field regions_el_2["offices"] :: any
       loop offices id=L2 in %t4 as el=%offices_el_5, idx=%offices_i_6
@@ -10,7 +9,7 @@
           %t10 = load_field teams_el_8["employees"] :: any
           loop employees id=L4 in %t10 as el=%employees_el_11, idx=%employees_i_12
             %t13 = load_field employees_el_11["rating"] :: float
-            %t15 = call core.gte(%t13, %t14) :: boolean
+            %t15 = call core.gte(%t13, 4.5) :: boolean
             yield %t15
           end_loop
         end_loop
@@ -19,7 +18,6 @@
   )
   (Declaration senior_level
     %t16 = load_input "regions" :: array
-    %t29 = const "senior" :: string
     loop regions id=L5 in %t16 as el=%regions_el_17, idx=%regions_i_18
       %t19 = load_field regions_el_17["offices"] :: any
       loop offices id=L6 in %t19 as el=%offices_el_20, idx=%offices_i_21
@@ -28,7 +26,7 @@
           %t25 = load_field teams_el_23["employees"] :: any
           loop employees id=L8 in %t25 as el=%employees_el_26, idx=%employees_i_27
             %t28 = load_field employees_el_26["level"] :: string
-            %t30 = call core.eq(%t28, %t29) :: boolean
+            %t30 = call core.eq(%t28, "senior") :: boolean
             yield %t30
           end_loop
         end_loop
@@ -37,14 +35,13 @@
   )
   (Declaration top_team
     %t31 = load_input "regions" :: array
-    %t41 = const 0.9 :: float
     loop regions id=L9 in %t31 as el=%regions_el_32, idx=%regions_i_33
       %t34 = load_field regions_el_32["offices"] :: any
       loop offices id=L10 in %t34 as el=%offices_el_35, idx=%offices_i_36
         %t37 = load_field offices_el_35["teams"] :: any
         loop teams id=L11 in %t37 as el=%teams_el_38, idx=%teams_i_39
           %t40 = load_field teams_el_38["performance_score"] :: float
-          %t42 = call core.gte(%t40, %t41) :: boolean
+          %t42 = call core.gte(%t40, 0.9) :: boolean
           yield %t42
         end_loop
       end_loop
@@ -52,32 +49,26 @@
   )
   (Declaration employee_bonus
     %t43 = load_input "regions" :: array
-    %t92 = const 0.9 :: float
-    %t79 = const 4.5 :: float
-    %t86 = const "senior" :: string
-    %t61 = const 0.3 :: float
-    %t67 = const 0.2 :: float
-    %t70 = const 0.05 :: float
     loop regions id=L12 in %t43 as el=%regions_el_44, idx=%regions_i_45
       %t46 = load_field regions_el_44["offices"] :: any
       loop offices id=L13 in %t46 as el=%offices_el_47, idx=%offices_i_48
         %t49 = load_field offices_el_47["teams"] :: any
         loop teams id=L14 in %t49 as el=%teams_el_50, idx=%teams_i_51
           %t91 = load_field teams_el_50["performance_score"] :: float
-          %t93 = call core.gte(%t91, %t92) :: boolean
+          %t93 = call core.gte(%t91, 0.9) :: boolean
           %t52 = load_field teams_el_50["employees"] :: any
           loop employees id=L15 in %t52 as el=%employees_el_53, idx=%employees_i_54
             %t78 = load_field employees_el_53["rating"] :: float
-            %t80 = call core.gte(%t78, %t79) :: boolean
+            %t80 = call core.gte(%t78, 4.5) :: boolean
             %t85 = load_field employees_el_53["level"] :: string
-            %t87 = call core.eq(%t85, %t86) :: boolean
+            %t87 = call core.eq(%t85, "senior") :: boolean
             %t58 = call core.and(%t87, %t93) :: boolean
             %t59 = call core.and(%t80, %t58) :: boolean
             %t60 = load_field employees_el_53["salary"] :: float
-            %t62 = call core.mul:numeric(%t60, %t61) :: float
+            %t62 = call core.mul:numeric(%t60, 0.3) :: float
             %t65 = call core.and(%t80, %t93) :: boolean
-            %t68 = call core.mul:numeric(%t60, %t67) :: float
-            %t71 = call core.mul:numeric(%t60, %t70) :: float
+            %t68 = call core.mul:numeric(%t60, 0.2) :: float
+            %t71 = call core.mul:numeric(%t60, 0.05) :: float
             %t72 = select %t65, %t68, %t71 :: float
             %t73 = select %t59, %t62, %t72 :: float
             yield %t73