Trying to make the clock constraints minimal to avoid exponential
stuff.