syntax_data: {"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // The below early returns reflect how this code would behave:
context_after:             //   if self.assume.validity {