TerminationNoCoinductiveProjectionFromVariable.agda:20,1-21,20
Termination checking failed for the following functions:
  f
Problematic calls:
  f (out x)
    (at TerminationNoCoinductiveProjectionFromVariable.agda:21,11-12)
