{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"ret.extend(wit_matrix);"}]}
                ret.extend(wit_matrix);
                wit_matrix.push_pattern(pat);
            }