Regenerate relations after rebase to master

jeanmon · jeanmon · commit 2757884b284d · 2025-02-21T10:11:30.000Z
diff --git a/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_bc_decomposition.hpp b/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_bc_decomposition.hpp
@@ -79,7 +79,7 @@ class lookup_bytecode_bytes_are_bytes_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.bc_decomposition_sel.is_zero() && in.precomputed_sel_range_8.is_zero();
+        return in.lookup_bytecode_bytes_are_bytes_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -163,7 +163,7 @@ class lookup_bytecode_remaining_abs_diff_u16_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.bc_decomposition_sel.is_zero() && in.precomputed_sel_range_16.is_zero();
+        return in.lookup_bytecode_remaining_abs_diff_u16_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -251,7 +251,7 @@ class lookup_bytecode_to_read_unary_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.bc_decomposition_sel.is_zero() && in.precomputed_sel_unary.is_zero();
+        return in.lookup_bytecode_to_read_unary_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -265,4 +265,4 @@ class lookup_bytecode_to_read_unary_relation
     }
 };
 
-} // namespace bb::avm2
+} // namespace bb::avm2
diff --git a/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_bitwise.hpp b/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_bitwise.hpp
@@ -81,7 +81,7 @@ class lookup_bitw_byte_lengths_relation : public GenericLookupRelation<lookup_bi
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.bitwise_start.is_zero() && in.precomputed_sel_integral_tag.is_zero();
+        return in.lookup_bitw_byte_lengths_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -175,7 +175,7 @@ class lookup_bitw_byte_operations_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.bitwise_sel.is_zero() && in.precomputed_sel_bitwise.is_zero();
+        return in.lookup_bitw_byte_operations_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -189,4 +189,4 @@ class lookup_bitw_byte_operations_relation
     }
 };
 
-} // namespace bb::avm2
+} // namespace bb::avm2
diff --git a/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_execution.hpp b/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_execution.hpp
@@ -89,7 +89,7 @@ class lookup_dummy_precomputed_relation : public GenericLookupRelation<lookup_du
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.execution_sel.is_zero() && in.precomputed_sel_bitwise.is_zero();
+        return in.lookup_dummy_precomputed_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -181,7 +181,7 @@ class lookup_dummy_dynamic_relation : public GenericLookupRelation<lookup_dummy_
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.execution_sel.is_zero() && in.execution_sel.is_zero();
+        return in.lookup_dummy_dynamic_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -195,4 +195,4 @@ class lookup_dummy_dynamic_relation : public GenericLookupRelation<lookup_dummy_
     }
 };
 
-} // namespace bb::avm2
+} // namespace bb::avm2
diff --git a/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_poseidon2_hash.hpp b/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_poseidon2_hash.hpp
@@ -98,7 +98,7 @@ class lookup_pos2_perm_relation : public GenericLookupRelation<lookup_pos2_perm_
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.poseidon2_hash_sel.is_zero() && in.poseidon2_perm_sel.is_zero();
+        return in.lookup_pos2_perm_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -112,4 +112,4 @@ class lookup_pos2_perm_relation : public GenericLookupRelation<lookup_pos2_perm_
     }
 };
 
-} // namespace bb::avm2
+} // namespace bb::avm2
diff --git a/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_range_check.hpp b/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_range_check.hpp
@@ -82,7 +82,7 @@ class lookup_rng_chk_pow_2_relation : public GenericLookupRelation<lookup_rng_ch
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.range_check_sel.is_zero() && in.precomputed_sel_range_8.is_zero();
+        return in.lookup_rng_chk_pow_2_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -164,7 +164,7 @@ class lookup_rng_chk_diff_relation : public GenericLookupRelation<lookup_rng_chk
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.range_check_sel.is_zero() && in.precomputed_sel_range_16.is_zero();
+        return in.lookup_rng_chk_diff_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -247,7 +247,7 @@ class lookup_rng_chk_is_r0_16_bit_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.range_check_sel_r0_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();
+        return in.lookup_rng_chk_is_r0_16_bit_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -330,7 +330,7 @@ class lookup_rng_chk_is_r1_16_bit_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.range_check_sel_r1_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();
+        return in.lookup_rng_chk_is_r1_16_bit_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -413,7 +413,7 @@ class lookup_rng_chk_is_r2_16_bit_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.range_check_sel_r2_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();
+        return in.lookup_rng_chk_is_r2_16_bit_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -496,7 +496,7 @@ class lookup_rng_chk_is_r3_16_bit_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.range_check_sel_r3_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();
+        return in.lookup_rng_chk_is_r3_16_bit_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -579,7 +579,7 @@ class lookup_rng_chk_is_r4_16_bit_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.range_check_sel_r4_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();
+        return in.lookup_rng_chk_is_r4_16_bit_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -662,7 +662,7 @@ class lookup_rng_chk_is_r5_16_bit_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.range_check_sel_r5_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();
+        return in.lookup_rng_chk_is_r5_16_bit_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -745,7 +745,7 @@ class lookup_rng_chk_is_r6_16_bit_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.range_check_sel_r6_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();
+        return in.lookup_rng_chk_is_r6_16_bit_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -828,7 +828,7 @@ class lookup_rng_chk_is_r7_16_bit_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.range_check_sel.is_zero() && in.precomputed_sel_range_16.is_zero();
+        return in.lookup_rng_chk_is_r7_16_bit_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -842,4 +842,4 @@ class lookup_rng_chk_is_r7_16_bit_relation
     }
 };
 
-} // namespace bb::avm2
+} // namespace bb::avm2
diff --git a/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_sha256.hpp b/barretenberg/cpp/src/barretenberg/vm2/generated/relations/lookups_sha256.hpp
@@ -84,7 +84,7 @@ class lookup_sha256_round_constant_relation
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.sha256_sel.is_zero() && in.precomputed_sel_sha256_compression.is_zero();
+        return in.lookup_sha256_round_constant_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -98,4 +98,4 @@ class lookup_sha256_round_constant_relation
     }
 };
 
-} // namespace bb::avm2
+} // namespace bb::avm2
diff --git a/barretenberg/cpp/src/barretenberg/vm2/generated/relations/perms_execution.hpp b/barretenberg/cpp/src/barretenberg/vm2/generated/relations/perms_execution.hpp
@@ -72,7 +72,7 @@ class perm_dummy_dynamic_relation : public GenericPermutationRelation<perm_dummy
 
     template <typename AllEntities> inline static bool skip(const AllEntities& in)
     {
-        return in.execution_sel.is_zero() && in.execution_sel.is_zero();
+        return in.perm_dummy_dynamic_inv.is_zero();
     }
 
     static std::string get_subrelation_label(size_t index)
@@ -86,4 +86,4 @@ class perm_dummy_dynamic_relation : public GenericPermutationRelation<perm_dummy
     }
 };
 
-} // namespace bb::avm2
+} // namespace bb::avm2

Original file line number	Diff line number	Diff line change
`@@ -79,7 +79,7 @@ class lookup_bytecode_bytes_are_bytes_relation`
`79`	`79`
`80`	`80`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`81`	`81`	`{`
`82`		`- return in.bc_decomposition_sel.is_zero() && in.precomputed_sel_range_8.is_zero();`
	`82`	`+ return in.lookup_bytecode_bytes_are_bytes_inv.is_zero();`
`83`	`83`	`}`
`84`	`84`
`85`	`85`	`static std::string get_subrelation_label(size_t index)`
`@@ -163,7 +163,7 @@ class lookup_bytecode_remaining_abs_diff_u16_relation`
`163`	`163`
`164`	`164`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`165`	`165`	`{`
`166`		`- return in.bc_decomposition_sel.is_zero() && in.precomputed_sel_range_16.is_zero();`
	`166`	`+ return in.lookup_bytecode_remaining_abs_diff_u16_inv.is_zero();`
`167`	`167`	`}`
`168`	`168`
`169`	`169`	`static std::string get_subrelation_label(size_t index)`
`@@ -251,7 +251,7 @@ class lookup_bytecode_to_read_unary_relation`
`251`	`251`
`252`	`252`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`253`	`253`	`{`
`254`		`- return in.bc_decomposition_sel.is_zero() && in.precomputed_sel_unary.is_zero();`
	`254`	`+ return in.lookup_bytecode_to_read_unary_inv.is_zero();`
`255`	`255`	`}`
`256`	`256`
`257`	`257`	`static std::string get_subrelation_label(size_t index)`
`@@ -265,4 +265,4 @@ class lookup_bytecode_to_read_unary_relation`
`265`	`265`	`}`
`266`	`266`	`};`
`267`	`267`
`268`		`-} // namespace bb::avm2`
	`268`	`+} // namespace bb::avm2`
Original file line number	Diff line number	Diff line change
`@@ -81,7 +81,7 @@ class lookup_bitw_byte_lengths_relation : public GenericLookupRelation<lookup_bi`
`81`	`81`
`82`	`82`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`83`	`83`	`{`
`84`		`- return in.bitwise_start.is_zero() && in.precomputed_sel_integral_tag.is_zero();`
	`84`	`+ return in.lookup_bitw_byte_lengths_inv.is_zero();`
`85`	`85`	`}`
`86`	`86`
`87`	`87`	`static std::string get_subrelation_label(size_t index)`
`@@ -175,7 +175,7 @@ class lookup_bitw_byte_operations_relation`
`175`	`175`
`176`	`176`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`177`	`177`	`{`
`178`		`- return in.bitwise_sel.is_zero() && in.precomputed_sel_bitwise.is_zero();`
	`178`	`+ return in.lookup_bitw_byte_operations_inv.is_zero();`
`179`	`179`	`}`
`180`	`180`
`181`	`181`	`static std::string get_subrelation_label(size_t index)`
`@@ -189,4 +189,4 @@ class lookup_bitw_byte_operations_relation`
`189`	`189`	`}`
`190`	`190`	`};`
`191`	`191`
`192`		`-} // namespace bb::avm2`
	`192`	`+} // namespace bb::avm2`
Original file line number	Diff line number	Diff line change
`@@ -89,7 +89,7 @@ class lookup_dummy_precomputed_relation : public GenericLookupRelation<lookup_du`
`89`	`89`
`90`	`90`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`91`	`91`	`{`
`92`		`- return in.execution_sel.is_zero() && in.precomputed_sel_bitwise.is_zero();`
	`92`	`+ return in.lookup_dummy_precomputed_inv.is_zero();`
`93`	`93`	`}`
`94`	`94`
`95`	`95`	`static std::string get_subrelation_label(size_t index)`
`@@ -181,7 +181,7 @@ class lookup_dummy_dynamic_relation : public GenericLookupRelation<lookup_dummy_`
`181`	`181`
`182`	`182`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`183`	`183`	`{`
`184`		`- return in.execution_sel.is_zero() && in.execution_sel.is_zero();`
	`184`	`+ return in.lookup_dummy_dynamic_inv.is_zero();`
`185`	`185`	`}`
`186`	`186`
`187`	`187`	`static std::string get_subrelation_label(size_t index)`
`@@ -195,4 +195,4 @@ class lookup_dummy_dynamic_relation : public GenericLookupRelation<lookup_dummy_`
`195`	`195`	`}`
`196`	`196`	`};`
`197`	`197`
`198`		`-} // namespace bb::avm2`
	`198`	`+} // namespace bb::avm2`
Original file line number	Diff line number	Diff line change
`@@ -98,7 +98,7 @@ class lookup_pos2_perm_relation : public GenericLookupRelation<lookup_pos2_perm_`
`98`	`98`
`99`	`99`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`100`	`100`	`{`
`101`		`- return in.poseidon2_hash_sel.is_zero() && in.poseidon2_perm_sel.is_zero();`
	`101`	`+ return in.lookup_pos2_perm_inv.is_zero();`
`102`	`102`	`}`
`103`	`103`
`104`	`104`	`static std::string get_subrelation_label(size_t index)`
`@@ -112,4 +112,4 @@ class lookup_pos2_perm_relation : public GenericLookupRelation<lookup_pos2_perm_`
`112`	`112`	`}`
`113`	`113`	`};`
`114`	`114`
`115`		`-} // namespace bb::avm2`
	`115`	`+} // namespace bb::avm2`
Original file line number	Diff line number	Diff line change
`@@ -82,7 +82,7 @@ class lookup_rng_chk_pow_2_relation : public GenericLookupRelation<lookup_rng_ch`
`82`	`82`
`83`	`83`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`84`	`84`	`{`
`85`		`- return in.range_check_sel.is_zero() && in.precomputed_sel_range_8.is_zero();`
	`85`	`+ return in.lookup_rng_chk_pow_2_inv.is_zero();`
`86`	`86`	`}`
`87`	`87`
`88`	`88`	`static std::string get_subrelation_label(size_t index)`
`@@ -164,7 +164,7 @@ class lookup_rng_chk_diff_relation : public GenericLookupRelation<lookup_rng_chk`
`164`	`164`
`165`	`165`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`166`	`166`	`{`
`167`		`- return in.range_check_sel.is_zero() && in.precomputed_sel_range_16.is_zero();`
	`167`	`+ return in.lookup_rng_chk_diff_inv.is_zero();`
`168`	`168`	`}`
`169`	`169`
`170`	`170`	`static std::string get_subrelation_label(size_t index)`
`@@ -247,7 +247,7 @@ class lookup_rng_chk_is_r0_16_bit_relation`
`247`	`247`
`248`	`248`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`249`	`249`	`{`
`250`		`- return in.range_check_sel_r0_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();`
	`250`	`+ return in.lookup_rng_chk_is_r0_16_bit_inv.is_zero();`
`251`	`251`	`}`
`252`	`252`
`253`	`253`	`static std::string get_subrelation_label(size_t index)`
`@@ -330,7 +330,7 @@ class lookup_rng_chk_is_r1_16_bit_relation`
`330`	`330`
`331`	`331`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`332`	`332`	`{`
`333`		`- return in.range_check_sel_r1_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();`
	`333`	`+ return in.lookup_rng_chk_is_r1_16_bit_inv.is_zero();`
`334`	`334`	`}`
`335`	`335`
`336`	`336`	`static std::string get_subrelation_label(size_t index)`
`@@ -413,7 +413,7 @@ class lookup_rng_chk_is_r2_16_bit_relation`
`413`	`413`
`414`	`414`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`415`	`415`	`{`
`416`		`- return in.range_check_sel_r2_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();`
	`416`	`+ return in.lookup_rng_chk_is_r2_16_bit_inv.is_zero();`
`417`	`417`	`}`
`418`	`418`
`419`	`419`	`static std::string get_subrelation_label(size_t index)`
`@@ -496,7 +496,7 @@ class lookup_rng_chk_is_r3_16_bit_relation`
`496`	`496`
`497`	`497`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`498`	`498`	`{`
`499`		`- return in.range_check_sel_r3_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();`
	`499`	`+ return in.lookup_rng_chk_is_r3_16_bit_inv.is_zero();`
`500`	`500`	`}`
`501`	`501`
`502`	`502`	`static std::string get_subrelation_label(size_t index)`
`@@ -579,7 +579,7 @@ class lookup_rng_chk_is_r4_16_bit_relation`
`579`	`579`
`580`	`580`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`581`	`581`	`{`
`582`		`- return in.range_check_sel_r4_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();`
	`582`	`+ return in.lookup_rng_chk_is_r4_16_bit_inv.is_zero();`
`583`	`583`	`}`
`584`	`584`
`585`	`585`	`static std::string get_subrelation_label(size_t index)`
`@@ -662,7 +662,7 @@ class lookup_rng_chk_is_r5_16_bit_relation`
`662`	`662`
`663`	`663`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`664`	`664`	`{`
`665`		`- return in.range_check_sel_r5_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();`
	`665`	`+ return in.lookup_rng_chk_is_r5_16_bit_inv.is_zero();`
`666`	`666`	`}`
`667`	`667`
`668`	`668`	`static std::string get_subrelation_label(size_t index)`
`@@ -745,7 +745,7 @@ class lookup_rng_chk_is_r6_16_bit_relation`
`745`	`745`
`746`	`746`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`747`	`747`	`{`
`748`		`- return in.range_check_sel_r6_16_bit_rng_lookup.is_zero() && in.precomputed_sel_range_16.is_zero();`
	`748`	`+ return in.lookup_rng_chk_is_r6_16_bit_inv.is_zero();`
`749`	`749`	`}`
`750`	`750`
`751`	`751`	`static std::string get_subrelation_label(size_t index)`
`@@ -828,7 +828,7 @@ class lookup_rng_chk_is_r7_16_bit_relation`
`828`	`828`
`829`	`829`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`830`	`830`	`{`
`831`		`- return in.range_check_sel.is_zero() && in.precomputed_sel_range_16.is_zero();`
	`831`	`+ return in.lookup_rng_chk_is_r7_16_bit_inv.is_zero();`
`832`	`832`	`}`
`833`	`833`
`834`	`834`	`static std::string get_subrelation_label(size_t index)`
`@@ -842,4 +842,4 @@ class lookup_rng_chk_is_r7_16_bit_relation`
`842`	`842`	`}`
`843`	`843`	`};`
`844`	`844`
`845`		`-} // namespace bb::avm2`
	`845`	`+} // namespace bb::avm2`
Original file line number	Diff line number	Diff line change
`@@ -84,7 +84,7 @@ class lookup_sha256_round_constant_relation`
`84`	`84`
`85`	`85`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`86`	`86`	`{`
`87`		`- return in.sha256_sel.is_zero() && in.precomputed_sel_sha256_compression.is_zero();`
	`87`	`+ return in.lookup_sha256_round_constant_inv.is_zero();`
`88`	`88`	`}`
`89`	`89`
`90`	`90`	`static std::string get_subrelation_label(size_t index)`
`@@ -98,4 +98,4 @@ class lookup_sha256_round_constant_relation`
`98`	`98`	`}`
`99`	`99`	`};`
`100`	`100`
`101`		`-} // namespace bb::avm2`
	`101`	`+} // namespace bb::avm2`
Original file line number	Diff line number	Diff line change
`@@ -72,7 +72,7 @@ class perm_dummy_dynamic_relation : public GenericPermutationRelation<perm_dummy`
`72`	`72`
`73`	`73`	`template <typename AllEntities> inline static bool skip(const AllEntities& in)`
`74`	`74`	`{`
`75`		`- return in.execution_sel.is_zero() && in.execution_sel.is_zero();`
	`75`	`+ return in.perm_dummy_dynamic_inv.is_zero();`
`76`	`76`	`}`
`77`	`77`
`78`	`78`	`static std::string get_subrelation_label(size_t index)`
`@@ -86,4 +86,4 @@ class perm_dummy_dynamic_relation : public GenericPermutationRelation<perm_dummy`
`86`	`86`	`}`
`87`	`87`	`};`
`88`	`88`
`89`		`-} // namespace bb::avm2`
	`89`	`+} // namespace bb::avm2`