TerminationRecordPatternListAppend.agda:31,1-33,32
Termination checking failed for the following functions:
  append
Problematic calls:
  append (t unit) l'
    (at TerminationRecordPatternListAppend.agda:32,50-56)
TerminationRecordPatternListAppend.agda:37,1-45,29
Termination checking failed for the following functions:
  append1
Problematic calls:
  append1' (isCons l') (head l') (tail l') l
    (at TerminationRecordPatternListAppend.agda:38,20-28)
  append1 (t unit) l
    (at TerminationRecordPatternListAppend.agda:44,47-54)
