Function lower_state_array_push 

fn lower_state_array_push(
    state_index: usize,
    args: &[Expression],
    ctx: &mut LoweringContext<'_>,
    instructions: &mut Vec<Instruction>,
) -> bool