public static String callgraphAlgorithmToString(CallgraphAlgorithm algorihm) {
		switch (algorihm) {
			case AutomaticSelection:
				return "AUTO";
			case VTA:
				return "VTA";
			case RTA:
				return "RTA";
			default:
				return "unknown";
		}
	}