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

show.

program([
 	       '<V>'([], [univ_0], [It, 0, 2, true], true, [univ_1(It)]),
 	       '<V>'([], [univ_1(It_0)], [It, 10, 12, true], true, [univ_2(It_0,It)]),
 	       '<V>'([], [univ_2(It_0,It_1)], [It, 100, 102, true], true, [c_1(It_0,It_1,It)]),
 	       '<=>'([], [c_1(It_0,It_1,It)], true, [c_2(It_0,It_1,It)]),
 	       '<=>'([], [c_2(2,10,100)], true, [false]),
 	       '<=>'([], [c_2(_,_,_)], true, [])  % [true] in the body is encoded as an empty body 
 	   ]).

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