0.00/0.01	MAYBE
0.00/0.01	
0.00/0.01	-- Is this system SN? ...MAYBE.
0.00/0.01	
0.00/0.01	
0.00/0.01	******** Critical pairs ********
0.00/0.01	#All are joinable, but  CR is not sure (Total 0 CPs)
0.00/0.01	
0.00/0.01	******** Signature ********
0.00/0.01	app : arrab -> a -> b
0.00/0.01	lam : (Va -> b) -> arrab
0.00/0.01	var : Va -> a
0.00/0.01	
0.00/0.01	******** Computation rules ********
0.00/0.01	 (1)  lam(x.M[var(x)])@N => M[N]
0.00/0.01	
0.00/0.01	MAYBE
0.00/0.01	EOF