{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"num_pats_unknown"}]}
                    num_pats_unknown - previous_unknown,
                    num_pats - previous_pats,
                    num_pats_partially_unknown - previous_partially_unknown