%     INPUT:
%   virtDomain() - different virtualization domains

virtDictDomains(Dom, Id):-   Id = #sum{1, DomLess : virtDomain(DomLess), DomLess < Dom}; 
  virtDomain(Dom).