---- Non-confluence check R: b() -> a() b() -> c() c() -> b() c() -> d() Unjoinable conversion: d() <->* a()