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

show.

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

 ?- '[[]]'(conf([], [state([univ_0],[],[],0)]), _Final_Configuration).
%% conf([],[state([token(univ_0,0):1],[token(univ_0,0)],[],1)]) [Activate]
%% conf([u],[state([<V>(_1450,0,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u],[state([univ_1],[],[],1),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u],[state([token(univ_1,1):1],[token(univ_1,1)],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_1852,10,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([univ_2],[],[],2),state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_2266,101,102,true,[])],[],[],3),state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_2266,102,102,true,[])],[],[],3),state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_2266,102,102,true,[])],[],[],3),state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_2266,102,102,true,[])],[],[],3),state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_2266,103,102,true,[])],[],[],3),state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_2266,103,102,true,[])],[],[],3),state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_2266,103,102,true,[])],[],[],3),state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],3),state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_1852,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_2],[],[],2),state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_3082,101,102,true,[])],[],[],3),state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_3082,102,102,true,[])],[],[],3),state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_3082,102,102,true,[])],[],[],3),state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_3082,102,102,true,[])],[],[],3),state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_3082,103,102,true,[])],[],[],3),state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_3082,103,102,true,[])],[],[],3),state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_3082,103,102,true,[])],[],[],3),state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],3),state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_1852,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_2],[],[],2),state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_3898,101,102,true,[])],[],[],3),state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_3898,102,102,true,[])],[],[],3),state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_3898,102,102,true,[])],[],[],3),state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_3898,102,102,true,[])],[],[],3),state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_3898,103,102,true,[])],[],[],3),state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_3898,103,102,true,[])],[],[],3),state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_3898,103,102,true,[])],[],[],3),state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],3),state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_1852,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],2),state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u],[success,state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u],[state([<V>(_1450,1,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([univ_1],[],[],1),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u],[state([token(univ_1,1):1],[token(univ_1,1)],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_4778,10,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([univ_2],[],[],2),state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_5192,101,102,true,[])],[],[],3),state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_5192,102,102,true,[])],[],[],3),state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_5192,102,102,true,[])],[],[],3),state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_5192,102,102,true,[])],[],[],3),state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_5192,103,102,true,[])],[],[],3),state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_5192,103,102,true,[])],[],[],3),state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_5192,103,102,true,[])],[],[],3),state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],3),state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_4778,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_2],[],[],2),state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_6008,101,102,true,[])],[],[],3),state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_6008,102,102,true,[])],[],[],3),state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6008,102,102,true,[])],[],[],3),state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6008,102,102,true,[])],[],[],3),state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_6008,103,102,true,[])],[],[],3),state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6008,103,102,true,[])],[],[],3),state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6008,103,102,true,[])],[],[],3),state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],3),state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_4778,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_2],[],[],2),state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_6824,101,102,true,[])],[],[],3),state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_6824,102,102,true,[])],[],[],3),state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6824,102,102,true,[])],[],[],3),state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6824,102,102,true,[])],[],[],3),state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_6824,103,102,true,[])],[],[],3),state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_6824,103,102,true,[])],[],[],3),state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_6824,103,102,true,[])],[],[],3),state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],3),state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_4778,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],2),state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u],[success,state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u],[state([<V>(_1450,2,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([univ_1],[],[],1),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u],[state([token(univ_1,1):1],[token(univ_1,1)],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u],[state([<V>(_7704,10,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u],[state([univ_2],[],[],2),state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_8118,101,102,true,[])],[],[],3),state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_8118,102,102,true,[])],[],[],3),state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_8118,102,102,true,[])],[],[],3),state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_8118,102,102,true,[])],[],[],3),state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_8118,103,102,true,[])],[],[],3),state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_8118,103,102,true,[])],[],[],3),state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_8118,103,102,true,[])],[],[],3),state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],3),state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_7704,11,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_2],[],[],2),state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_8934,101,102,true,[])],[],[],3),state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_8934,102,102,true,[])],[],[],3),state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_8934,102,102,true,[])],[],[],3),state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_8934,102,102,true,[])],[],[],3),state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_8934,103,102,true,[])],[],[],3),state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_8934,103,102,true,[])],[],[],3),state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_8934,103,102,true,[])],[],[],3),state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],3),state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_7704,12,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([univ_2],[],[],2),state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u],[state([token(univ_2,2):1],[token(univ_2,2)],[],3),state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Activate]
%% conf([u,u,u],[state([<V>(_9750,101,102,true,[])],[],[],3),state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Simplify]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_9750,102,102,true,[])],[],[],3),state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_9750,102,102,true,[])],[],[],3),state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_9750,102,102,true,[])],[],[],3),state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u,u],[state([],[],[],3),state([<V>(_9750,103,102,true,[])],[],[],3),state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Unfolding]
%% conf([u,u,u],[success,state([<V>(_9750,103,102,true,[])],[],[],3),state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u,u],[state([<V>(_9750,103,102,true,[])],[],[],3),state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u,u],[state([],[],[],3),state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u,u],[success,state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u,u],[state([<V>(_7704,13,12,true,[univ_2])],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([u],[state([],[],[],2),state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U Success]
%% conf([u],[success,state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [Success]
%% conf([u],[state([<V>(_1450,3,2,true,[univ_1])],[],[],1)]) [U SuccessPropagate]
%% conf([],[state([],[],[],1)]) [U Success]
%% conf([],[success]) [Success]
%% conf([],[success])