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

show.

program([
	       '<E>'([], [exists_0], [It, 0, 2, true], true, [c_0(It)]),
	       '<=>'([], [c_0(0)], true, [false]),
	       '<=>'([], [c_0(1)], true, [false]),
	       '<=>'([], [c_0(2)], true, [c]),
	       '<=>'([], [c], true, []) % [true] in the body is encoded as an empty body 
	   ]).

:- '[[]]'(conf([], [state([exists_0],[],[],0)]), _Final_Configuration).
%% conf([],[state([token(exists_0,0):1],[token(exists_0,0)],[],1)]) [Activate]
%% conf([e],[state([<E>(_1504,0,2,true,[c_0(_1504)])],[],[],1)]) [E Simplify]
%% conf([e],[state([c_0(0)],[],[],1),state([<E>(_1504,1,2,true,[c_0(_1504)])],[],[],1)]) [E Unfolding]
%% conf([e],[state([token(c_0(0),1):1],[token(c_0(0),1)],[],2),state([<E>(_1504,1,2,true,[c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e],[state([false],[],[],2),state([<E>(_1504,1,2,true,[c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e],[failure,state([<E>(_1504,1,2,true,[c_0(_1504)])],[],[],1)]) [Failure]
%% conf([e],[state([<E>(_1504,1,2,true,[c_0(_1504)])],[],[],1)]) [E FailurePropagate]
%% conf([e],[state([c_0(1)],[],[],1),state([<E>(_1504,2,2,true,[c_0(_1504)])],[],[],1)]) [E Unfolding]
%% conf([e],[state([token(c_0(1),1):1],[token(c_0(1),1)],[],2),state([<E>(_1504,2,2,true,[c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e],[state([false],[],[],2),state([<E>(_1504,2,2,true,[c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e],[failure,state([<E>(_1504,2,2,true,[c_0(_1504)])],[],[],1)]) [Failure]
%% conf([e],[state([<E>(_1504,2,2,true,[c_0(_1504)])],[],[],1)]) [E FailurePropagate]
%% conf([e],[state([c_0(2)],[],[],1),state([<E>(_1504,3,2,true,[c_0(_1504)])],[],[],1)]) [E Unfolding]
%% conf([e],[state([token(c_0(2),1):1],[token(c_0(2),1)],[],2),state([<E>(_1504,3,2,true,[c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e],[state([c],[],[],2),state([<E>(_1504,3,2,true,[c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e],[state([token(c,2):1],[token(c,2)],[],3),state([<E>(_1504,3,2,true,[c_0(_1504)])],[],[],1)]) [Activate]
%% conf([e],[state([],[],[],3),state([<E>(_1504,3,2,true,[c_0(_1504)])],[],[],1)]) [Simplify]
%% conf([e],[success,state([<E>(_1504,3,2,true,[c_0(_1504)])],[],[],1)]) [Success]
%% conf([],[state([],[],[],1)]) [E SuccessPropagate]
%% conf([],[success]) [Success]
%% conf([],[success])