let make_instance pu = 
      Array.map instantiate_domain pu