{"ast_node_type":"other","tokens":[{"end":54,"kind":"keyword","start":0,"text":"panic!(\"Error"}]}
            panic!("Error in evaluating goal: {err}");
            let err = pretty_print_err(e, db);
        }