Unguarded Recursion on Coinductive Resumptions (Logical Methods in Computer Science, 2018)