Checker for phase of clocks using property

In reply to nimitz_class:

After adding some tolerance to the property I’m able to make it pass. Thanks Ben :)