847   for (bool ReadEltInSameInst = false, Done = false; !Done;  in TEST()  local
848        Done = ReadEltInSameInst, ReadEltInSameInst = true) {  in TEST()
853                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
858                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
863                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
868                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
876                   ReadEltInSameInst, false, true));  in TEST()
881                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
888                                  ReadEltInSameInst, false, true));  in TEST()
895                            UMAP("{}"), ReadEltInSameInst, false, true));  in TEST()
905                            ReadEltInSameInst, false, true));  in TEST()
913             UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, false, true));  in TEST()
919                                  UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst,  in TEST()
928                   ReadEltInSameInst, false, true));  in TEST()
936             UMAP("{ Read[] -> Elt[] }"), ReadEltInSameInst, false, true));  in TEST()
945                            ReadEltInSameInst, false, true));  in TEST()