Function lower_while_statement 

fn lower_while_statement(
    condition: &Expression,
    body: &Statement,
    ctx: &mut LoweringContext<'_>,
    instructions: &mut Vec<Instruction>,
) -> bool