YES(?,O(n^1))
0.16/0.24	YES(?,O(n^1))
0.16/0.24	
0.16/0.24	Problem:
0.16/0.24	 f(n__f(n__a())) -> f(n__g(n__f(n__a())))
0.16/0.24	 f(X) -> n__f(X)
0.16/0.24	 a() -> n__a()
0.16/0.24	 g(X) -> n__g(X)
0.16/0.24	 activate(n__f(X)) -> f(X)
0.16/0.24	 activate(n__a()) -> a()
0.16/0.24	 activate(n__g(X)) -> g(activate(X))
0.16/0.24	 activate(X) -> X
0.16/0.24	
0.16/0.24	Proof:
0.16/0.24	 Bounds Processor:
0.16/0.24	  bound: 2
0.16/0.24	  enrichment: match
0.16/0.24	  automaton:
0.16/0.24	   final states: {7,6,5,4}
0.16/0.24	   transitions:
0.16/0.24	    g1(55) -> 56*
0.16/0.24	    activate1(62) -> 63*
0.16/0.24	    activate1(64) -> 65*
0.16/0.24	    activate1(54) -> 55*
0.16/0.24	    a1() -> 53*
0.16/0.24	    f1(40) -> 41*
0.16/0.24	    f1(10) -> 11*
0.16/0.24	    f1(46) -> 47*
0.16/0.24	    f1(48) -> 49*
0.16/0.24	    n__g1(30) -> 31*
0.16/0.24	    n__g1(32) -> 33*
0.16/0.24	    n__g1(9) -> 10*
0.16/0.24	    n__g1(38) -> 39*
0.16/0.24	    n__a1() -> 8*
0.16/0.24	    n__f1(20) -> 21*
0.16/0.24	    n__f1(26) -> 27*
0.16/0.24	    n__f1(18) -> 19*
0.16/0.24	    n__f1(8) -> 9*
0.16/0.24	    n__g2(86) -> 87*
0.16/0.24	    f0(2) -> 4*
0.16/0.24	    f0(1) -> 4*
0.16/0.24	    f0(3) -> 4*
0.16/0.24	    n__a2() -> 84*
0.16/0.24	    n__f0(2) -> 1*
0.16/0.24	    n__f0(1) -> 1*
0.16/0.24	    n__f0(3) -> 1*
0.16/0.24	    n__f2(82) -> 83*
0.16/0.24	    n__f2(74) -> 75*
0.16/0.24	    n__f2(76) -> 77*
0.16/0.24	    n__f2(68) -> 69*
0.16/0.24	    n__a0() -> 2*
0.16/0.24	    n__g0(2) -> 3*
0.16/0.24	    n__g0(1) -> 3*
0.16/0.24	    n__g0(3) -> 3*
0.16/0.24	    a0() -> 5*
0.16/0.24	    g0(2) -> 6*
0.16/0.24	    g0(1) -> 6*
0.16/0.24	    g0(3) -> 6*
0.16/0.24	    activate0(2) -> 7*
0.16/0.24	    activate0(1) -> 7*
0.16/0.24	    activate0(3) -> 7*
0.16/0.24	    1 -> 7,62,46,32,20
0.16/0.24	    2 -> 7,54,40,38,26
0.16/0.24	    3 -> 7,64,48,30,18
0.16/0.24	    8 -> 5*
0.16/0.24	    10 -> 68*
0.16/0.24	    11 -> 47,7,4
0.16/0.24	    19 -> 4*
0.16/0.24	    21 -> 4*
0.16/0.24	    27 -> 4*
0.16/0.24	    31 -> 6*
0.16/0.24	    33 -> 6*
0.16/0.24	    39 -> 6*
0.16/0.24	    40 -> 82*
0.16/0.24	    41 -> 63,55,7
0.16/0.24	    46 -> 74*
0.16/0.24	    47 -> 63,55,7
0.16/0.24	    48 -> 76*
0.16/0.24	    49 -> 63,55,7
0.16/0.24	    53 -> 55,7
0.16/0.24	    54 -> 55*
0.16/0.24	    55 -> 86*
0.16/0.24	    56 -> 65,55,7
0.16/0.24	    62 -> 63,55
0.16/0.24	    63 -> 55*
0.16/0.24	    64 -> 65*
0.16/0.24	    65 -> 55*
0.16/0.24	    69 -> 11*
0.16/0.24	    75 -> 47*
0.16/0.24	    77 -> 49,7
0.16/0.24	    83 -> 41,7
0.16/0.24	    84 -> 53,7
0.16/0.24	    87 -> 56,7
0.16/0.24	  problem:
0.16/0.24	   
0.16/0.24	  Qed
0.16/0.24	EOF