0.00/0.08	MAYBE
0.00/0.08	
0.00/0.08	DP problem for innermost termination.
0.00/0.08	P =
0.00/0.08	  init# -> f2# 
0.00/0.08	  f2# -> f1# 
0.00/0.08	  f1# -> f1# 
0.00/0.08	R = 
0.00/0.08	  init -> f2 
0.00/0.08	  f2 -> f1 
0.00/0.08	  f1 -> f1 
0.00/0.08	
0.00/0.08	The dependency graph for this problem is:
0.00/0.08	  0 -> 1
0.00/0.08	  1 -> 2
0.00/0.08	  2 -> 2
0.00/0.08	Where:
0.00/0.08	  0) init# -> f2# 
0.00/0.08	  1) f2# -> f1# 
0.00/0.08	  2) f1# -> f1# 
0.00/0.08	
0.00/0.08	We have the following SCCs.
0.00/0.08	  { 2 }
0.00/0.08	
0.00/0.08	DP problem for innermost termination.
0.00/0.08	P =
0.00/0.08	  f1# -> f1# 
0.00/0.08	R = 
0.00/0.08	  init -> f2 
0.00/0.08	  f2 -> f1 
0.00/0.08	  f1 -> f1 
0.00/0.08	
0.00/3.06	EOF