Termination checking failed for the following functions:
  div
Problematic calls:
  div (m - n) n
    (at Issue503.agda:45,43-46)