Fixed a bug in clock constraint minimisation.