Function lower_return_statement 

fn lower_return_statement(
    expr: Option<&Expression>,
    ctx: &mut LoweringContext<'_>,
    instructions: &mut Vec<Instruction>,
) -> bool