{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"wit_matrix.push_pattern(pat);"}]}
                wit_matrix.push_pattern(pat);
                let mut wit_matrix = self.clone();
                ret.extend(wit_matrix);