enumerateScenarioOutlines
Scenarios
execute
TCKGraph