No idea what's really happening, but it compiles.
Changed the representation of clock constraints. About time, too.