YES
Did not drop rules.
Inlined conditions for 0 rules.
Left-inlined conditions for 0 rules.
Due to Ifrit-method removed 0 infeasible rules.
Did not use redundant rules method.
INFEASIBLE because

problem obtained from
root-nonreachability
is proven infeasible
using the symbol transition graph on
a() ->* g(a())

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