Function charon_lib::transform::ullbc_to_llbc::translate_statement

source ยท 
fn translate_statement(st: &Statement) -> Option<Statement>