YES
Time: 0.000442
TRS:
 {f h x -> f i x,
  i a() -> b(),
  h a() -> b(),
  g i x -> g h x}
 RUF:
  Strict:
   {f h x -> f i x,
    g i x -> g h x}
  Weak:
   {}
  DP:
   DP:
    {f# h x -> f# i x,
     g# i x -> g# h x}
   TRS:
   {f h x -> f i x,
    g i x -> g h x}
   EDG:
    {}
    SCCS (0):
     
     Qed