val alpha_equivalence: Cic.term -> Cic.term -> bool
-(* FG: Consistency Check
- * detects applications without arguments
+(* FG: Consistency Check. Detects:
+ * applications without arguments, folded applications, non-positive rels
*)
val is_sober: Cic.context -> Cic.term -> bool