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