0.00/0.03	NO
0.00/0.03	Due to conditions equal to the given problem, dropped 1 rules:
0.00/0.03	  pin(x) -> pout(f(y)) 
0.00/0.03	   | pin(x) ->* pout(g(y))
0.00/0.03	Inlined conditions for 0 rules.
0.00/0.03	Left-inlined conditions for 0 rules.
0.00/0.03	Due to construction of the inductive Symbol Transition Graph removed 0 infeasible rules.
0.00/0.03	Did not use redundant rules method.
0.00/0.03	FEASIBLE with
0.00/0.03	{x1/x2}
0.00/0.03	EOF