updated countermodel name in the uml diagram