Function effective_verify 

fn effective_verify(tasks: &[Task], index: usize) -> Verify

The verify the row at index is bound by.