Agda-2.3.2.2: test/fail/NoNoTerminationCheck.err
Termination checking failed for the following functions: g Problematic calls: g (at NoNoTerminationCheck.agda:11,5-6)
Termination checking failed for the following functions: g Problematic calls: g (at NoNoTerminationCheck.agda:11,5-6)