MAYBE
Time: 0.001143
TRS:
 {f() -> f()}
 DP:
  DP:
   {f#() -> f#()}
  TRS:
  {f() -> f()}
  UR:
   {}
   EDG:
    {(f#() -> f#(), f#() -> f#())}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {f#() -> f#()}
      
      SCC (1):
       Strict:
        {f#() -> f#()}
       Weak:
       {f() -> f()}
       Fail