ConfigurationCoverageCriteria.getControlFlowBasedCoverageCriterion()))
{
// for each control flow-based criterion: mark all transitions as test goals
defineTransitionCoverage();
// selection of concrete coverage criterion
ControlFlowOrientedCoverage oControlFlowCoverageCriterion =
CoverageCriterionFactory.createCoverageCriterion(
ConfigurationCoverageCriteria.getControlFlowBasedCoverageCriterion());
// furthermore, define assignments for the guard conditions
if(oControlFlowCoverageCriterion != null) {
defineControlFlowBasedCoverageCriterion(oControlFlowCoverageCriterion);