:load test/error-qualskolem/qualskolem.disco