public void testGoalWithModulePrefix6() {
		String goal = "no_such_module:no_such_predicate(0)";
		try {
			Query.hasSolution(goal); // should throw exception
			fail(goal + " (nonexistent module prefix) wrongly succeeded"); // shouldn't get to here
		} catch (org.jpl7.PrologException e) { // expected exception class
			if (e.term().hasFunctor("error", 2) && e.term().arg(1).hasFunctor("existence_error", 2) && e.term().arg(1).arg(1).hasFunctor("procedure", 0)) {
				// OK: an appropriate exception was thrown
			} else {
				fail(goal + " (nonexistent module prefix) threw wrong PrologException: " + e);
			}
		} catch (Exception e) {
			fail(goal + " (nonexistent module prefix) threw wrong exception class: " + e);
		}
	}