Function is_terminal_explore

Source
fn is_terminal_explore(num_loops: usize, st: &Statement) -> bool