Cause Effect Rules	Rule1
Start	-
Transitions	S->E
Method1 : q->flags = 0; q->task = ((void *)0); q->func = func;	begin