// "channel-self-parallel-c.hac"
// copy-modified from "channel-self-parallel-a.hac"
//	$Id: channel-self-parallel-c.hac,v 1.2 2007/05/04 03:37:52 fang Exp $
// channel sends to itself in sequence of parallel sends
// just swapped position of send/receives

chan(bool) X;
bool b;

chp {
	X?(b), X!(true);
	X?(b), X!(false);
	X?(b), X!(true)
}
// should work, because channel is initially ready to send
// should still occur sequentially, with no real concurrency

