{"ast_node_type":"variable","tokens":[{"end":92,"kind":"keyword","start":0,"text":"let"}]}
                let program_clause: chalk_ir::ProgramClause<Interner> = pred.cast(Interner);
                }
                clauses.push(program_clause.into_from_env_clause(Interner));