YES
Time: 0.009264
TRS:
 {f f a() -> f g()}
 DP:
  DP:
   {f# f a() -> f# g()}
  TRS:
  {f f a() -> f g()}
  UR:
   {}
   EDG:
    {(f# f a() -> f# g(), f# f a() -> f# g())}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {f# f a() -> f# g()}
      
      SCC (1):
       Strict:
        {f# f a() -> f# g()}
       Weak:
       {f f a() -> f g()}
       POLY:
        Mode: weak, max_in=1, output_bits=-1, dnum=1, ur=true
        Interpretation:
         [f](x0) = x0,
         
         [g] = 0,
         
         [a] = 1,
         
         [f#](x0) = x0
        Strict:
         f# f a() -> f# g()
         1 >= 0
        Weak:
         f f a() -> f g()
         1 >= 0
       Qed