0.00/0.00	MAYBE
0.00/0.00	Due to conditions equal to the given problem, dropped 0 rules.
0.00/0.00	Inlined conditions for 0 rules.
0.00/0.00	Left-inlined conditions for 2 rules:
0.00/0.00	  f(b()) -> b()  | 
0.00/0.00	  f(a()) -> a()  | 
0.00/0.00	Due to construction of the inductive Symbol Transition Graph removed 0 infeasible rules.
0.00/0.00	Did not use redundant rules method.
0.00/0.00	
0.00/0.05	EOF