0.00/0.12 NO 0.00/0.12 Non-termination prover = LP(tech=TOPLAS06, unlimited) 0.00/0.12 ** BEGIN proof argument ** 0.00/0.12 tree_member(i,o): ([tree_member(_0,tree(_1,_2,_3)) :- tree_member(_0,_2)], {tree_member/2->(0->_0)}) 0.00/0.12 ** End proof argument ** 0.00/0.12 Proof stopped at iteration 1 0.00/0.12 Number of unfolded rules generated by this proof = 3 0.00/0.12 Number of unfolded rules generated by all the parallel proofs = 3 0.00/0.14 EOF