syntax_data: {"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //!
context_before: //! it and store it as a [CanonicalState].
context_after: //! Proof trees are only shallow, we do not compute the proof tree for nested