charon_lib::transform::ullbc_to_llbc

Function is_terminal_explore

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