fixup! Parse select and store calls in annotations

Author: coord-e

src/annot.rs

@@ -676,12 +676,14 @@ where
         let (term, sort) = formula_or_term
             .into_term()
             .ok_or_else(|| ParseAttrError::unexpected_formula("before projection"))?;
-        let sort = fields.iter().fold(sort, |acc, field| match (acc, field) {
-            (acc, Field::Index(idx)) => acc.tuple_elem(*idx),
-            (acc, Field::Store(_, _)) => acc,
-            (chc::Sort::Array(_, elem), Field::Select(_)) => *elem,
-            _ => panic!("invalid field access"),
-        });
+        let sort = fields
+            .iter()
+            .try_fold(sort, |acc, field| match (acc, field) {
+                (acc, Field::Index(idx)) => Ok(acc.tuple_elem(*idx)),
+                (acc, Field::Store(_, _)) => Ok(acc),
+                (chc::Sort::Array(_, elem), Field::Select(_)) => Ok(*elem),
+                (acc, _) => Err(ParseAttrError::unsorted_op("select", acc.clone())),
+            })?;
         let term = fields.into_iter().fold(term, |acc, field| match field {
             Field::Index(idx) => acc.tuple_proj(idx),
             Field::Store(idx, val) => acc.store(idx, val),