fn lower_require( args: &[Expression], ctx: &mut LoweringContext<'_>, instructions: &mut Vec<Instruction>, )