{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"witness_1,"}]}
            witness_1,
            witness_3: witnesses.get(2).map(|w| cx.print_witness_pat(w)).unwrap_or_default(),
            remainder: witnesses.len().saturating_sub(3),