adding few extra logging in G2

src/Sequenic/T3/DerivativeSuiteGens/Gen2/G2.java

@@ -270,6 +270,20 @@ public class G2 {
 			remaining = timebudgetTracker.check() ;
 		}
 		Analytics.save(config.dirToSaveSuites,null,null);
+		int Ntargets = 0 ;
+		int NconstrTargets = 0 ;
+		int NmethodADT = 0 ;
+		int NmethodNonADT = 0 ;
+		for (SingleTarget ST : worklist.allTargets) {
+			Ntargets++ ;
+			if (ST.target instanceof Constructor) NconstrTargets++ ;
+			else if (ST.target instanceof Method && ST.isADT) NmethodADT++ ;
+			else NmethodNonADT++ ;
+		}
+		t3log.info("#target constructors:" + NconstrTargets
+				+ ", #target methdods:" + NmethodADT
+				+ ", #target static methods:" + NmethodNonADT
+				+ ", #tot. targets:" + Ntargets) ;
 	}