Workunit (non-blocking) clarification

Where G is the guard condition and R is the repeat condition a Body is 
the body of code inside the workunit

Thus it is really modeled in the following three cases

	IF G and R are not empty and so need evaluation THEN:

	while (G)
	{	
		Body
	} until (R)

	IF G is always T THEN:

	repeat
	{
		Body
	} until (R)

	IF R is always F THEN:

	if (G)
	{
		Body
	}