{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"elaborator.extend_deduped(clauses);"}]}
    elaborator.extend_deduped(clauses);
    let mut elaborator = ClauseElaborator { db, stack: Vec::new(), seen: FxHashSet::default() };