{"ast_node_type":"variable","tokens":[{"end":96,"kind":"keyword","start":0,"text":"let"}]}
    let mut elaborator = ClauseElaborator { db, stack: Vec::new(), seen: FxHashSet::default() };
) -> ClauseElaborator<'_> {
    elaborator.extend_deduped(clauses);