I'm inclined to think this InvalidWithClauseException is superfluous at this point based on the work prepared for HHH-16 Closed and the associated test case should be eliminated. The only reason that WithClauseTest#testInvalidWithSemantics failed are removing the exception-block was because the test expected a failure. Eliminating that expectation, the test obviously passes but also providing test data and asserting the results passes too. I'll send in a PR as such and let Steve Ebersole review it in case I overlooked something.