YES
Did not drop rules.
Inlined conditions for 0 rules.
Left-inlined conditions for 0 rules.
Due to Ifrit-method removed 3 infeasible rules:
  a() -> a()  | b() ->* x
  c() ->* x
  b() -> d()  | d() ->* x
  e() ->* x
  c() -> d()  | d() ->* x
  e() ->* x
Did not use redundant rules method.
INFEASIBLE because

problem obtained from input
is proven infeasible
using TCAP on
|(d(),e()) ->* |(x,x)

where | is used as a fresh function symbol, since it is illegal in the input format.