Add term::make::static_access (#1438)

* Add `term::make::static_access`

Add a helper function to the `term::make` module to construct chains of
static record accesses.

* Provide a variant accepting an arbitrary `RichTerm` as the record

* Remove `term::make::static_access_`

core/src/term/mod.rs

@@ -1962,6 +1962,20 @@ pub mod make {
     pub fn integer(n: impl Into<i64>) -> RichTerm {
         Term::Num(Number::from(n.into())).into()
     }
+
+    pub fn static_access<I, S, T>(record: T, fields: I) -> RichTerm
+    where
+        I: IntoIterator<Item = S>,
+        I::IntoIter: DoubleEndedIterator,
+        S: Into<Ident>,
+        T: Into<RichTerm>,
+    {
+        let mut term = record.into();
+        for f in fields.into_iter() {
+            term = make::op1(UnaryOp::StaticAccess(f.into()), term);
+        }
+        term
+    }
 }
 
 #[cfg(test)]
@@ -1984,4 +1998,19 @@ mod tests {
         let res = TypeAnnotation::combine(outer, inner);
         assert_ne!(res.types, None);
     }
+
+    #[test]
+    fn make_static_access() {
+        let t = make::op1(
+            UnaryOp::StaticAccess("record".into()),
+            make::op1(
+                UnaryOp::StaticAccess("records".into()),
+                make::var("predicates"),
+            ),
+        );
+        assert_eq!(
+            make::static_access(make::var("predicates"), ["records", "record"]),
+            t
+        );
+    }
 }