TerminationInfiniteRecord.err

Termination checking failed for the following functions:
  elimEmpty
Problematic calls:
  elimEmpty e
    (at TerminationInfiniteRecord.agda:11,23-32)