return rdfs.getDiscoveryTime(a) - rdfs.getDiscoveryTime(b);
return dfs.getFinishTime(a) - dfs.getFinishTime(b);
		public int compare(BasicBlock a, BasicBlock b) {			return rdfs.getDiscoveryTime(a) - rdfs.getDiscoveryTime(b);		}