syntax_data: {"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! Proof trees are only shallow, we do not compute the proof tree for nested
context_before: //!
context_after: //! goals. Visiting proof trees instead recomputes nested goals in the parents