syntax_data: {"ast_node_type":"variable","tokens":[{"end":76,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:                     let mut nested_result = EvaluationResult::EvaluatedToOk;
context_before:                 if predicate != obligation.predicate {
context_after:                     for obligation in nested_obligations {