Checking IndentedCheckingMessages (IndentedCheckingMessages.agda).
 Checking A.M (A/M.agda).
  Checking A.B.M (A/B/M.agda).
IndentedCheckingMessages.agda:5,1-6,10
Termination checking failed for the following functions:
  Foo
Problematic calls:
  Foo
    (at IndentedCheckingMessages.agda:6,7-10)
