Function lower_statement 

fn lower_statement(
    statement: &Statement,
    ctx: &mut LoweringContext<'_>,
    instructions: &mut Vec<Instruction>,
) -> bool