Begain integration of ConcolicTargetGenerator and ConcolicAnalysis.