718.90/299.40	MAYBE
718.90/299.40	
718.90/299.40	Problem:
718.90/299.40	 strict:
718.90/299.40	  top(ok(queue(old(x),bot()))) -> top(check(queue(x,bot())))
718.90/299.40	  top(ok(queue(new(x),bot()))) -> top(check(queue(x,bot())))
718.90/299.40	  top(ok(queue(bot(),old(x)))) -> top(check(queue(bot(),x)))
718.90/299.40	  top(ok(queue(bot(),new(x)))) -> top(check(queue(bot(),x)))
718.90/299.40	  top(ok(queue(old(x),old(y)))) -> top(check(queue(x,y)))
718.90/299.40	  top(ok(queue(old(x),new(y)))) -> top(check(queue(x,y)))
718.90/299.40	  top(ok(queue(new(x),old(y)))) -> top(check(queue(x,y)))
718.90/299.40	  top(ok(queue(new(x),new(y)))) -> top(check(queue(x,y)))
718.90/299.40	 weak:
718.90/299.40	  top(ok(queue(old(x),y))) -> top(check(queue(x,y)))
718.90/299.40	  top(ok(queue(new(x),y))) -> top(check(queue(x,y)))
718.90/299.40	  bot() -> new(bot())
718.90/299.40	  check(old(x)) -> ok(old(x))
718.90/299.40	  check(new(x)) -> new(check(x))
718.90/299.40	  check(queue(x,y)) -> queue(check(x),y)
718.90/299.40	  check(queue(x,y)) -> queue(x,check(y))
718.90/299.40	  old(ok(x)) -> ok(old(x))
718.90/299.40	  new(ok(x)) -> ok(new(x))
718.90/299.40	  queue(ok(x),y) -> ok(queue(x,y))
718.90/299.40	  queue(x,ok(y)) -> ok(queue(x,y))
718.90/299.40	
718.90/299.40	Proof:
718.90/299.40	 Open
718.90/299.41	EOF