Function lower_if_statement 

fn lower_if_statement(
    condition: &Expression,
    then_stmt: &Statement,
    else_stmt: Option<&Statement>,
    ctx: &mut LoweringContext<'_>,
    instructions: &mut Vec<Instruction>,
) -> bool