%fact Relation Any;fact Relation
%
% module
% fact
fact2_fact(_y,_upvals):-_upvals=[],(((true,_y = 1);(false,_y = 2+1))).
% main
fact2(X):-_fact = clos([],fact2_fact),call_cl(_fact,[3]).