Function law_assign_advances_next_by_one 

pub fn law_assign_advances_next_by_one(start_next: u64) -> bool