{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"num_pats_partially_unknown"}]}
                    num_pats_partially_unknown - previous_partially_unknown
                    num_pats_unknown - previous_unknown,
                ));