syntax_data: {"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:             // already normalized, or we're currently normalizing the
context_before:             // Don't normalize the whole obligation, the param env is either
context_after:             // param_env. Either way we should only normalize the predicate.