Counting number of events on clock a, while clock o is forbidden

In reply to ben@SystemVerilog.us:

replacing the implication operator will make the program to expect a valid start on each clock cycle. thats what i think, and also i get 5/6 errors now, right from the beginning of the simulation.