syntax_data: {"ast_node_type":"variable","tokens":[{"end":70,"kind":"keyword","start":0,"text":"let"}]}
source_snippet:         let Some(clause) = elaboratable.predicate().as_clause() else {
context_before:         // We only elaborate clauses.
context_after:             return;