1		% same as simple_trace_test_before, but state representation is different
2		% -- check that trace replay works with precision params_and_result
3		start(state2(init,5)).
4
5		trans(start_inc,state2(init,A),state2(inc,A)).
6	?	trans(inc1(X),state2(inc,A),state2(inc,A1)) :- between(1,10,X), number(A), A1 is A+1.
7		trans(incn(N),state2(inc,A),state2(inc,A1)) :- number(N), number(A), A1 is A+N.
8		trans(raw(A),state2(inc,_),state2(inc,A)).
9
10		trans_prop(incn,param_names([arg1])).
11		trans_prop(raw,param_names([raw_arg])).