Transformer BinaryRelation replaced 0 patterns in negative_test_check_u64_gt_basic
Transformer BinaryRelation replaced 1 patterns in check_u128_ge_basic
Transformer BinaryRelation replaced 1 patterns in check_u128_ge_large_numbers
Transformer BinaryRelation replaced 1 patterns in check_u128_ge_le_inverse
Transformer BinaryRelation replaced 1 patterns in check_u128_ge_verified
Transformer BinaryRelation replaced 1 patterns in check_u128_ge_with_native_math
Transformer BinaryRelation replaced 1 patterns in check_u128_gt_basic
Transformer BinaryRelation replaced 1 patterns in check_u128_gt_ge_relationship
Transformer BinaryRelation replaced 1 patterns in check_u128_gt_large_numbers
Transformer BinaryRelation replaced 1 patterns in check_u128_gt_verified
Transformer BinaryRelation replaced 1 patterns in check_u128_gt_with_native_math
Transformer BinaryRelation replaced 1 patterns in check_u128_gt_with_native_math_with_assert
Transformer BinaryRelation replaced 1 patterns in check_u128_le_basic
Transformer BinaryRelation replaced 1 patterns in check_u128_le_large_numbers
Transformer BinaryRelation replaced 1 patterns in check_u128_le_verified
Transformer BinaryRelation replaced 1 patterns in check_u128_le_with_native_math
Transformer BinaryRelation replaced 1 patterns in check_u128_lt_basic
Transformer BinaryRelation replaced 1 patterns in check_u128_lt_le_relationship
Transformer BinaryRelation replaced 1 patterns in check_u128_lt_with_native_math
Transformer BinaryRelation replaced 1 patterns in check_u128_lt_with_native_math_with_assert
Transformer BinaryRelation replaced 2 patterns in check_u128_ge_fail
Transformer BinaryRelation replaced 2 patterns in check_u128_le_fail
Transformer BinaryRelation replaced 2 patterns in check_u128_lt_fail
Transformer BinaryRelation replaced 3 patterns in check_u128_double_branch_simple