Problem:
 f(g(x),h(x,y)) -> a()
 g(b()) -> c()
 h(x,d()) -> e()

Proof:
 Nonconfluence Processor:
  terms: f(g(f9()),e()) *<- f(g(f9()),h(f9(),d())) ->* a()
  Qed
  
  first automaton:
   final states: {1}
   transitions:
    g(3) -> 4*
    f(4,2) -> 1*
    e() -> 2*
    f9() -> 3*
  
  second automaton:
   final states: {5}
   transitions:
    a() -> 5*