claim	needhamschroedersk-amend,I	Secret_I2	Kir	Ok	[no attack within bounds]
claim	needhamschroedersk-amend,I	Nisynch_I3	-	Fail	[at least 1 attack]
claim	needhamschroedersk-amend,R	Secret_R1	Nr	Ok	[no attack within bounds]
claim	needhamschroedersk-amend,R	Nisynch_R3	-	Fail	[at least 1 attack]
