% Adapted from the Logtalk setof/3 list validation cases. Modified for Eyepl.
% See test/conformance/THIRD_PARTY.md.
%% goal: setof(X, (X = 2; X = 1), 12)