syntax_data: {"ast_node_type":"other","tokens":[{"end":100,"kind":"keyword","start":0,"text":"if"}]}
source_snippet:                 if stack_entry.heads.iter().any(|(_, p)| matches!(p, AllPathsToHeadCoinductive::No))
context_before:                 // The same for nested goals of the cycle head.
context_after:                 {