% Null
% 
% test18
% test18__label1
test18__label1(_x,_T1,_upvals):-_upvals=[],((lt(_x,3.0),((_x = 2.0,{1.0+_x=T4},_T3=T4);(dif(_x,2.0),true)),call(test18__label1(_T3,_T1),_upvals));(ge(_x,3.0),_x=_T1,true)).
% main
test18(X):-_T1=2.0,call_cl(clos([],test18__label1),[_T1,_x]),writeln_(_x).