MAYBE
265.67/68.01	MAYBE
265.67/68.02	
265.67/68.02	Problem:
265.67/68.02	 top1(free(x),y) -> top2(check(new(x)),y)
265.67/68.02	 top1(free(x),y) -> top2(new(x),check(y))
265.67/68.02	 top1(free(x),y) -> top2(check(x),new(y))
265.67/68.02	 top1(free(x),y) -> top2(x,check(new(y)))
265.67/68.02	 top2(x,free(y)) -> top1(check(new(x)),y)
265.67/68.02	 top2(x,free(y)) -> top1(new(x),check(y))
265.67/68.02	 top2(x,free(y)) -> top1(check(x),new(y))
265.67/68.02	 top2(x,free(y)) -> top1(x,check(new(y)))
265.67/68.02	 new(free(x)) -> free(new(x))
265.67/68.02	 old(free(x)) -> free(old(x))
265.67/68.02	 new(serve()) -> free(serve())
265.67/68.02	 old(serve()) -> free(serve())
265.67/68.02	 check(free(x)) -> free(check(x))
265.67/68.02	 check(new(x)) -> new(check(x))
265.67/68.02	 check(old(x)) -> old(check(x))
265.67/68.02	 check(old(x)) -> old(x)
265.67/68.02	
265.67/68.02	Proof:
265.67/68.02	 Open
265.67/68.02	EOF