First attempt at a fix for guard condition on cofixpoints.