Function law_add_nonnegative_saturating_matches_addition_without_overflow 

pub fn law_add_nonnegative_saturating_matches_addition_without_overflow(
    x: i64,
    y: i64,
) -> bool