Refined guard condition of cofixpoints, to anticipate potential futur
extensions.