[Testgeneration] fixing user manual example for testing with mixset
[Testgeneration] fixing user manual example for testing with mixset

umple/umple,umple/umple,umple/umple,umple/umple,umple/umple,umple/umple,umple/umple,umple/umple