YES
Time: 0.001000
TRS:
 {f h x -> f i x,
  i a() -> b(),
  h a() -> b(),
  g i x -> g h x}
 DP:
  DP:
   {f# h x -> f# i x,
    f# h x -> i# x,
    g# i x -> h# x,
    g# i x -> g# h x}
  TRS:
  {f h x -> f i x,
   i a() -> b(),
   h a() -> b(),
   g i x -> g h x}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):