:- use_module('../VEOMEGAR', ['[[]]'/2]).

show.

program([
	       '<V>'([], [univ_0], [It, 0, 2, true], true, []), % [true] in the body is encoded as an empty body 
	       '<V>'([], [univ_1], [It, 10, 12, true], true, [])
	   ]).

?- '[[]]'(conf([], [state([univ_0, univ_1],[],[],0)]), _Final_Configuration).
%% conf([],[state([token(univ_0,0):1,univ_1],[token(univ_0,0)],[],1)]) [Activate]
%% conf([u],[state([<V>(_1468,0,2,true,[]),univ_1],[],[],1)]) [U Simplify]
%% conf([u],[state([],[],[],1),state([<V>(_1468,1,2,true,[]),univ_1],[],[],1)]) [U Unfolding]
%% conf([u],[success,state([<V>(_1468,1,2,true,[]),univ_1],[],[],1)]) [Success]
%% conf([u],[state([<V>(_1468,1,2,true,[]),univ_1],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],1),state([<V>(_1468,2,2,true,[]),univ_1],[],[],1)]) [U Unfolding]
%% conf([u],[success,state([<V>(_1468,2,2,true,[]),univ_1],[],[],1)]) [Success]
%% conf([u],[state([<V>(_1468,2,2,true,[]),univ_1],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],1),state([<V>(_1468,3,2,true,[]),univ_1],[],[],1)]) [U Unfolding]
%% conf([u],[success,state([<V>(_1468,3,2,true,[]),univ_1],[],[],1)]) [Success]
%% conf([u],[state([<V>(_1468,3,2,true,[]),univ_1],[],[],1)]) [U SuccessPropagate]
%% conf([],[state([univ_1],[],[],1)]) [U Success]
%% conf([],[state([token(univ_1,1):1],[token(univ_1,1)],[],2)]) [Activate]
%% conf([u],[state([<V>(_2128,10,12,true,[])],[],[],2)]) [U Simplify]
%% conf([u],[state([],[],[],2),state([<V>(_2128,11,12,true,[])],[],[],2)]) [U Unfolding]
%% conf([u],[success,state([<V>(_2128,11,12,true,[])],[],[],2)]) [Success]
%% conf([u],[state([<V>(_2128,11,12,true,[])],[],[],2)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],2),state([<V>(_2128,12,12,true,[])],[],[],2)]) [U Unfolding]
%% conf([u],[success,state([<V>(_2128,12,12,true,[])],[],[],2)]) [Success]
%% conf([u],[state([<V>(_2128,12,12,true,[])],[],[],2)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],2),state([<V>(_2128,13,12,true,[])],[],[],2)]) [U Unfolding]
%% conf([u],[success,state([<V>(_2128,13,12,true,[])],[],[],2)]) [Success]
%% conf([u],[state([<V>(_2128,13,12,true,[])],[],[],2)]) [U SuccessPropagate]
%% conf([],[state([],[],[],2)]) [U Success]
%% conf([],[success]) [Success]
%% conf([],[success])