YES(?,O(n^1))
0.15/0.22	YES(?,O(n^1))
0.15/0.23	
0.15/0.23	Problem:
0.15/0.23	 f(X) -> g(n__h(n__f(X)))
0.15/0.23	 h(X) -> n__h(X)
0.15/0.23	 f(X) -> n__f(X)
0.15/0.23	 activate(n__h(X)) -> h(activate(X))
0.15/0.23	 activate(n__f(X)) -> f(activate(X))
0.15/0.23	 activate(X) -> X
0.15/0.23	
0.15/0.23	Proof:
0.15/0.23	 Bounds Processor:
0.15/0.23	  bound: 2
0.15/0.23	  enrichment: match
0.15/0.23	  automaton:
0.15/0.23	   final states: {6,5,4}
0.15/0.23	   transitions:
0.15/0.23	    f1(51) -> 52*
0.15/0.23	    activate1(45) -> 46*
0.15/0.23	    activate1(35) -> 36*
0.15/0.23	    activate1(43) -> 44*
0.15/0.23	    h1(36) -> 37*
0.15/0.23	    n__f1(15) -> 16*
0.15/0.23	    n__f1(21) -> 22*
0.15/0.23	    n__f1(11) -> 12*
0.15/0.23	    n__h1(12) -> 13*
0.15/0.23	    n__h1(29) -> 30*
0.15/0.23	    n__h1(31) -> 32*
0.15/0.23	    n__h1(23) -> 24*
0.15/0.23	    g1(13) -> 14*
0.15/0.23	    n__f2(57) -> 58*
0.15/0.23	    f0(2) -> 4*
0.15/0.23	    f0(1) -> 4*
0.15/0.23	    f0(3) -> 4*
0.15/0.23	    n__h2(63) -> 64*
0.15/0.23	    n__h2(58) -> 59*
0.15/0.23	    g0(2) -> 1*
0.15/0.23	    g0(1) -> 1*
0.15/0.23	    g0(3) -> 1*
0.15/0.23	    g2(59) -> 60*
0.15/0.23	    n__h0(2) -> 2*
0.15/0.23	    n__h0(1) -> 2*
0.15/0.23	    n__h0(3) -> 2*
0.15/0.23	    n__f0(2) -> 3*
0.15/0.23	    n__f0(1) -> 3*
0.15/0.23	    n__f0(3) -> 3*
0.15/0.23	    h0(2) -> 5*
0.15/0.23	    h0(1) -> 5*
0.15/0.23	    h0(3) -> 5*
0.15/0.23	    activate0(2) -> 6*
0.15/0.23	    activate0(1) -> 6*
0.15/0.23	    activate0(3) -> 6*
0.15/0.23	    1 -> 6,43,29,15
0.15/0.23	    2 -> 6,35,31,21
0.15/0.23	    3 -> 6,45,23,11
0.15/0.23	    12 -> 4*
0.15/0.23	    14 -> 4*
0.15/0.23	    16 -> 12*
0.15/0.23	    22 -> 12*
0.15/0.23	    24 -> 5*
0.15/0.23	    30 -> 5*
0.15/0.23	    32 -> 5*
0.15/0.23	    35 -> 36*
0.15/0.23	    36 -> 63,51
0.15/0.23	    37 -> 36,51,6
0.15/0.23	    43 -> 44*
0.15/0.23	    44 -> 36*
0.15/0.23	    45 -> 46,36
0.15/0.23	    46 -> 36*
0.15/0.23	    51 -> 57*
0.15/0.23	    52 -> 46,36,51,6
0.15/0.23	    58 -> 52,6
0.15/0.23	    60 -> 52,6
0.15/0.23	    64 -> 37,6
0.15/0.23	  problem:
0.15/0.23	   
0.15/0.23	  Qed
0.15/0.23	EOF