---- Non-confluence check
R:
I(x) -> I(B(x))
F(E(x),x) -> G(x)
E(x) -> x

Unjoinable conversion:
G(___y27()) <->* F(___y27(),___y27())