% !!! does it work with XID in the second clause? Demonstrate
% - 

:- eval(test046()).

test046() :-
	println(["==========test046=========="]),
	iam(Me),
	sendMsg(XID,self,Me,run,t(),id0),
	println(["OK"]).

rcvMsg(XID,Protocol,From,run,t(),ID) :-
	println([XID]),
	sendMsg(XID,Protocol,From,reply,ta(),id1),
	rcvMsg(XID,Protocol,From,reply,[X|Xs],id1),
	println([X|Xs]),
	sendMsg(XID,Protocol,From,reply,tb(),id1),
	rcvMsg(XID,Protocol,From,reply,[Y|Ys],id1),
	println([Y|Ys]).
