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

show.

program([
 	       '<E>'([], [exists_0], [It_0, 0, 2, true], true, [c, univ_1(It_0), c]),
 	       '<V>'([], [univ_1(It_0)], [It_1, 10, 12, true], true, [c, exists_2(It_0,It_1), c]),
 	       '<E>'([], [exists_2(It_0,It_1)], [It_2, 100, 102, true], true, [c]),
 	       '<=>'([], [c], true, [])  % [true] in the body is encoded as an empty body 
 	   ]).

:- '[[]]'(conf([], [state([exists_0],[],[],0)]), _Final_Configuration).