How Can I Hold Off an Assertion Until Sync is Established Using a Local Variable?

In reply to hal9e3:

Another non-solution:

((d == SYNC_DATA) or flag, flag = 1) |-> ^d ^ available ^ parity;

Only fires when d == sync_data