Added two unit tests for the `setof/3` built-in method taken from a thread in the SWI-Prolog mailing list on existential variables.