---- Non-confluence check
R:
f(f(x,y),z) -> f(x,f(y,z))
f(x,1()) -> x

Unjoinable conversion:
f(___y21(),f(1(),___y24())) <->* f(___y21(),___y24())