syntax_data: {"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"if"}]}
source_snippet:                 if self.intersects(
context_before:             PathKind::Coinductive => {
context_after:                     PathsToNested::EMPTY | PathsToNested::INDUCTIVE | PathsToNested::UNKNOWN,