{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"match"}]}
        match kind {
    ) -> QueryResult<I> {
            PathKind::Coinductive => response_no_constraints(cx, input, Certainty::Yes),