charon_lib::transform::ullbc_to_llbc

Function translate_statement

Source 
fn translate_statement(locals: &Locals, st: &Statement) -> Option<Statement>