MAYBE
Time: 0.002319
TRS:
 {f x -> f f x}
 DP:
  DP:
   {f# x -> f# x,
    f# x -> f# f x}
  TRS:
  {f x -> f f x}
  EDG:
   {(f# x -> f# x, f# x -> f# f x)
    (f# x -> f# x, f# x -> f# x)
    (f# x -> f# f x, f# x -> f# x)
    (f# x -> f# f x, f# x -> f# f x)}
   SCCS (1):
    Scc:
     {f# x -> f# x,
      f# x -> f# f x}
    SCC (2):
     Strict:
      {f# x -> f# x,
       f# x -> f# f x}
     Weak:
     {f x -> f f x}
     Fail