Undo previous commit changes to the loader and tester files of the `dcgs` example as it breaks compatibility with e.g. Qu-Prolog and XSB