tuPrologHugeTesting