Issue1251/NonTerminating.agda:6,1-8,20
Termination checking failed for the following functions:
  bla
Problematic calls:
  bla zero
    (at Issue1251/NonTerminating.agda:7,15-18)
when scope checking the declaration
  open import Issue1251.NonTerminating
