syntax_data: {"ast_node_type":"variable","tokens":[{"end":87,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:             let eval = self.evaluate_predicate_recursively(stack, obligation.clone())?;
context_before:             obligation.set_depth_from_parent(stack.depth());
context_after:             if let EvaluatedToErr = eval {