MAYBE
Time: 0.001451
TRS:
 {       purge nil() -> nil(),
       purge .(x, y) -> .(x, purge remove(x, y)),
    remove(x, nil()) -> nil(),
  remove(x, .(y, z)) -> if(=(x, y), remove(x, z), .(y, remove(x, z)))}
 DP:
  DP:
   {     purge# .(x, y) -> purge# remove(x, y),
         purge# .(x, y) -> remove#(x, y),
    remove#(x, .(y, z)) -> remove#(x, z)}
  TRS:
  {       purge nil() -> nil(),
        purge .(x, y) -> .(x, purge remove(x, y)),
     remove(x, nil()) -> nil(),
   remove(x, .(y, z)) -> if(=(x, y), remove(x, z), .(y, remove(x, z)))}
  EDG:
   {(remove#(x, .(y, z)) -> remove#(x, z), remove#(x, .(y, z)) -> remove#(x, z))
    (purge# .(x, y) -> remove#(x, y), remove#(x, .(y, z)) -> remove#(x, z))
    (purge# .(x, y) -> purge# remove(x, y), purge# .(x, y) -> purge# remove(x, y))
    (purge# .(x, y) -> purge# remove(x, y), purge# .(x, y) -> remove#(x, y))}
   EDG:
    {(remove#(x, .(y, z)) -> remove#(x, z), remove#(x, .(y, z)) -> remove#(x, z))
     (purge# .(x, y) -> remove#(x, y), remove#(x, .(y, z)) -> remove#(x, z))}
    EDG:
     {(remove#(x, .(y, z)) -> remove#(x, z), remove#(x, .(y, z)) -> remove#(x, z))
      (purge# .(x, y) -> remove#(x, y), remove#(x, .(y, z)) -> remove#(x, z))}
     STATUS:
      arrows: 0.777778
      SCCS (1):
       Scc:
        {remove#(x, .(y, z)) -> remove#(x, z)}
       
       
       SCC (1):
        Strict:
         {remove#(x, .(y, z)) -> remove#(x, z)}
        Weak:
        {       purge nil() -> nil(),
              purge .(x, y) -> .(x, purge remove(x, y)),
           remove(x, nil()) -> nil(),
         remove(x, .(y, z)) -> if(=(x, y), remove(x, z), .(y, remove(x, z)))}
        Open