Function law_circular_backward_index_in_range 

pub fn law_circular_backward_index_in_range(
    index: u64,
    offset: u64,
    n: u64,
) -> bool