Tests: added the semantics as extensions of State
Bugfix from server (wrong yieldpull/pushing) + initial real client/server yielding tests