ActTCGContinuityHelper.addContinuityConstraints(tcgActivity);
ActTCG2AMPLModel.transform(tcgActivity);
// create PathData
SatisfiablePathSearch search = new SolverBFS();
search.setProperties(properties);
EMap<Path, Witness> paths = search
.findAllSatisfiablePaths(tcgActivity);
properties = search.getProperties();
// create UnitTests Model with specific data
TestSuite suite = TestsGeneratorHelper.generateTests(
tcgActivity, paths);