Fix an issue with one of the `coinduction` example unit tests