YES
Time: 0.000626
TRS:
 {  f c X -> X,
  f c a() -> f d b(),
  f c b() -> f d a(),
    f a() -> f c a(),
    f a() -> f d a(),
    f d X -> X,
    e g X -> e X}
 RUF:
  Strict:
   {  f c X -> X,
    f c a() -> f d b(),
    f c b() -> f d a(),
      f a() -> f c a(),
      f a() -> f d a(),
      f d X -> X}
  Weak:
   {}
  DP:
   DP:
    {f# c a() -> f# d b(),
     f# c b() -> f# d a(),
       f# a() -> f# c a(),
       f# a() -> f# d a()}
   TRS:
   {  f c X -> X,
    f c a() -> f d b(),
    f c b() -> f d a(),
      f a() -> f c a(),
      f a() -> f d a(),
      f d X -> X}
   EDG:
    {(f# a() -> f# c a(), f# c a() -> f# d b())}
    SCCS (0):
     
     Qed