private static StronglyConnectedComponents createStronglyConnectedComplement() throws ConfigurationException {
		StronglyConnectedComponents scc;
		String clazzName = Conf.getTheoryAnalyser_stronglyConnectedComponentClassName();
		try {
			if (!AppConst.isDeploy) System.out.println("generating scc class [" + clazzName + "]");
			Class<?> clazz = Class.forName(clazzName);
			scc = clazz.asSubclass(StronglyConnectedComponents.class).newInstance();
			if (!AppConst.isDeploy) System.out.println("generating scc class [" + clazzName + "]..success");
		} catch (Exception e) {
			if (!AppConst.isDeploy) System.out.println("generating scc class [" + clazzName + "]..failed");
			throw new ConfigurationException("exception throw while generating scc class [" + clazzName + "]", e);
		}
		return scc;
	}