-let ct_items2 s1 c1 t1 s2 c2 t2 =
- [Warn s1; Term (c1, t1); Warn s2; Term (c2, t2)]
+let ct_items1 sc c st t =
+ [Warn sc; Context c; Warn st; Term (c, t)]
+
+let ct_items2 sc c st1 t1 st2 t2 =
+ ct_items1 sc c st1 t1 @ [Warn st2; Term (c, t2)]
+
+let ct_items3 sc c st1 t1 st2 t2 st3 t3 =
+ ct_items2 sc c st1 t1 st2 t2 @ [Warn st3; Term (c, t3)]