IndentedCheckingMessages.err

Checking IndentedCheckingMessages (IndentedCheckingMessages.agda).
 Checking A.M (A/M.agda).
  Checking A.B.M (A/B/M.agda).
  Finished A.B.M.
 Finished A.M.
Finished IndentedCheckingMessages.

Termination checking failed for the following functions:
  Foo
Problematic calls:
  Foo
    (at IndentedCheckingMessages.agda:6,7-10)