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