% Adapted from Scryer ISO conformity test 93.
% See test/conformance/THIRD_PARTY.md.
%% goal: bad
bad :- [a,b|,] = [a, b].