MAYBE
0.08/0.18	MAYBE
0.08/0.18	
0.08/0.18	Problem:
0.08/0.18	 active(f(b(),c(),x)) -> mark(f(x,x,x))
0.08/0.18	 active(f(x,y,z)) -> f(x,y,active(z))
0.08/0.18	 active(d()) -> m(b())
0.08/0.18	 f(x,y,mark(z)) -> mark(f(x,y,z))
0.08/0.18	 active(d()) -> mark(c())
0.08/0.18	 proper(b()) -> ok(b())
0.08/0.18	 proper(c()) -> ok(c())
0.08/0.18	 proper(d()) -> ok(d())
0.08/0.18	 proper(f(x,y,z)) -> f(proper(x),proper(y),proper(z))
0.08/0.18	 f(ok(x),ok(y),ok(z)) -> ok(f(x,y,z))
0.08/0.18	 top(mark(x)) -> top(proper(x))
0.08/0.18	 top(ok(x)) -> top(active(x))
0.08/0.18	
0.08/0.18	Proof:
0.08/0.18	 Open
0.08/0.19	EOF