Function law_mul_nonnegative_saturating_normalizes_negative_operands 

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