---- Non-confluence check
R:
a() -> f(a(),b())
f(a(),b()) -> f(b(),a())

Unjoinable conversion:
f(b(),f(b(),f(b(),a()))) <->* f(b(),f(f(b(),f(a(),b())),b()))