fact: Definition isPartialFlattening Args M : Prop := match Args with | nil => False | hd::nil => False | hd::tl => appUnits hd ++ tl = appUnits M end.
imports: CoLoR(RelExtras ListExtras TermsTyping LogicUtil) Coq(Lia)