TerminationRecordPatternListAppend.agda:39,1-47,29
Termination checking failed for the following functions:
  append1
Problematic calls:
  append1' (isCons l') (head l') (tail l') l
    (at TerminationRecordPatternListAppend.agda:40,20-28)
  append1 (t unit) l
    (at TerminationRecordPatternListAppend.agda:46,47-54)
