Function symbolic_invariant_should_check 

const fn symbolic_invariant_should_check(
    sequence_len: usize,
    depth: usize,
    check_interval: u32,
) -> bool