---- Non-confluence check R: f(f(x,y),z) -> f(x,f(y,z)) f(i(x1),x1) -> e() Unjoinable conversion: f(i(___y20()),f(___y20(),___y23())) <->* f(e(),___y23())