private static void checkOptions() {
		if (!BloatBenchmark.INTRA && !BloatBenchmark.SPECIALIZE
				&& !BloatBenchmark.INLINE) {
			BloatBenchmark.err.println("** There is nothing to do!");
			BloatBenchmark.usage();

		} else if ((BloatBenchmark.MORPH != -1) && !BloatBenchmark.SPECIALIZE) {
			BloatBenchmark.err
					.println("** Must specialize when setting morphosity");
			BloatBenchmark.usage();
		}
	}