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