private static TestCaseData Bad(params object[] args) { return new TestCaseData(args).Throws(contractException); }