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