Function charon_lib::transform::ullbc_to_llbc::is_terminal_explore_block

source ยท 
fn is_terminal_explore_block(num_loops: usize, block: &Block) -> bool