YES
Time: 0.000500
TRS:
 {  d x -> e u x,
  d u x -> c x,
  c u x -> b x,
  b u x -> a e x,
  v e x -> x}
 DP:
  DP:
   {d# u x -> c# x,
    c# u x -> b# x}
  TRS:
  {  d x -> e u x,
   d u x -> c x,
   c u x -> b x,
   b u x -> a e x,
   v e x -> x}
  EDG:
   {(d# u x -> c# x, c# u x -> b# x)}
   STATUS:
    arrows: 0.750000
    SCCS (0):