0.33/0.55	NO
0.33/0.55	
0.33/0.55	Problem:
0.33/0.55	 strict:
0.33/0.55	  a() -> b()
0.33/0.55	 weak:
0.33/0.55	  b() -> a()
0.33/0.55	
0.33/0.55	Proof:
0.33/0.55	 Unfolding Processor:
0.33/0.55	  loop length: 2
0.33/0.55	  terms:
0.33/0.55	   a()
0.33/0.55	   b()
0.33/0.55	  context: []
0.33/0.55	  substitution:
0.33/0.55	   
0.33/0.55	  Qed
0.33/0.56	EOF