interface IDummy
{
	in void ia();
	out void oa();
	
	behaviour
	{
		on ia: {}
		on optional: oa;
	}
}

interface INotifier
{
	out void oa();
	
	behaviour
	{
		bool isPaired = false;
		[isPaired] on optional: {oa; isPaired = !isPaired;}
		[!isPaired] on optional: {oa; oa; isPaired = !isPaired;}
	}
}

component IgnoreNotification
{
	provides IDummy pp;
	requires INotifier rp;
	
	behaviour
	{
		bool communicate = false;
		on pp.ia(): {}
		on rp.oa(): {if (communicate) pp.oa();}
	}
}