coordinator Visitor 
{

selfex { read  , before(Basic_service host),
         before(Stall host), after(Basic_Service host),
         after(Repeatition host) }

mutexex { read  , before(Basic_service host),
         before(Stall host), after(Basic_Service host),
         after(Repeatition host) }

}