syntax_data: {"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                 // similar to the previous iterations when reevaluating, it's better
context_before:                 // optimization. However, given that the proof tree will likely look
context_after:                 // for caching if the reevaluation also starts out with `false`.