added WinConditionDiagram for exampleUbiqProgram_XO