syntax_data: {"ast_node_type":"variable","tokens":[{"end":42,"kind":"keyword","start":0,"text":"if"}]}
source_snippet:             if let EvaluatedToErr = eval {
context_before:             let eval = self.evaluate_predicate_recursively(stack, obligation.clone())?;
context_after:                 // fast-path - EvaluatedToErr is the top of the lattice,