Function law_consecutive_seqs_have_no_gap 

pub fn law_consecutive_seqs_have_no_gap(start_next: u64) -> bool