disabled negative testcases

	}

	control {

	/*

		execute (TC_BADASPEC());

		execute (TC_BADBRANCH());

		execute (TC_BADDATE());

		execute (TC_BADDN());

		execute (TC_BADINV01());

		execute (TC_BADVERS());

	*/

		execute (TC_BCAST());

		execute (TC_BEXT01());

		execute (TC_BIGCODE());