Function lower_logical_and 

fn lower_logical_and(
    left: &Expression,
    right: &Expression,
    ctx: &mut LoweringContext<'_>,
    instructions: &mut Vec<Instruction>,
) -> bool