Function lower_expression 

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