MAYBE
Time: 0.000799
TRS:
 {and(not not x, y, not z) -> and(y, band(x, z), x)}
 DP:
  DP:
   {and#(not not x, y, not z) -> and#(y, band(x, z), x)}
  TRS:
  {and(not not x, y, not z) -> and(y, band(x, z), x)}
  EDG:
   {(and#(not not x, y, not z) -> and#(y, band(x, z), x), and#(not not x, y, not z) -> and#(y, band(x, z), x))}
   EDG:
    {(and#(not not x, y, not z) -> and#(y, band(x, z), x), and#(not not x, y, not z) -> and#(y, band(x, z), x))}
    EDG:
     {(and#(not not x, y, not z) -> and#(y, band(x, z), x), and#(not not x, y, not z) -> and#(y, band(x, z), x))}
     STATUS:
      arrows: 0.000000
      SCCS (1):
       Scc:
        {and#(not not x, y, not z) -> and#(y, band(x, z), x)}
       
       SCC (1):
        Strict:
         {and#(not not x, y, not z) -> and#(y, band(x, z), x)}
        Weak:
        {and(not not x, y, not z) -> and(y, band(x, z), x)}
        Open