NO
Did not drop rules.
Inlined conditions for 1 rules:
  tc(x) -> tc(z) 
   | pin(x) ->* pout(z)
Left-inlined conditions for 0 rules.
Due to Ifrit-method removed 0 infeasible rules.
Did not use redundant rules method.
FEASIBLE with
{x1/b(),x2/a(),x3/tc(b())}