Update unit tests for the built-in methods `bagof/3` and `setof/3` to workaround syntax issues with the XSB parser