:- module pes_crash.

:- interface.

:- pred foo is semidet.

:- implementation.

:- import_module list, solutions.

foo :-
	% The calls to reverse() are necessary so things aren't
	% optimized away...
	promise_equivalent_solutions [] (
		unsorted_solutions(
			pred(3::out) is nondet,
			[])
	).