check_u128_ge_basic : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_ge_large_numbers : Pattern-Rewriter replaced 2 occurrences of u128binrel
check_u128_ge_le_inverse : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_ge_verified : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_ge_with_native_math : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_gt_basic : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_gt_ge_relationship : Pattern-Rewriter replaced 2 occurrences of u128binrel
check_u128_gt_large_numbers : Pattern-Rewriter replaced 3 occurrences of u128binrel
check_u128_gt_verified : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_gt_with_native_math : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_gt_with_native_math_with_assert : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_le_basic : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_le_large_numbers : Pattern-Rewriter replaced 2 occurrences of u128binrel
check_u128_le_verified : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_le_with_native_math : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_lt_basic : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_lt_le_relationship : Pattern-Rewriter replaced 2 occurrences of u128binrel
check_u128_lt_with_native_math : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_lt_with_native_math_with_assert : Pattern-Rewriter replaced 1 occurrences of u128binrel
check_u128_ge_fail : Pattern-Rewriter replaced 2 occurrences of u128binrel
check_u128_le_fail : Pattern-Rewriter replaced 2 occurrences of u128binrel
check_u128_lt_fail : Pattern-Rewriter replaced 2 occurrences of u128binrel
check_u128_double_branch_simple : Pattern-Rewriter replaced 3 occurrences of u128binrel
