Function charon_lib::transform::ullbc_to_llbc::is_terminal_explore
source ยท fn is_terminal_explore(num_loops: usize, st: &Statement) -> boolfn is_terminal_explore(num_loops: usize, st: &Statement) -> bool