static L<Pair<S>> definitions_dropInvalidatedFromPairs(Collection<Pair<S>> l) {
  new HashSet<S> invalidated;
  new LinkedHashMap<S, Pair<S>> data; // global ID -> entry
  
  for (Pair<S> p : l) {
    S text = dropGlobalID(p.b);
    S invalidates = regexpFirstGroup("^\\[invalidate (" + regexp_globalID() + "): .*\\]$", text); 
    if (invalidates != null)
      invalidated.add(invalidates);
    else
      data.put(orNewGlobalID(getAppendedGlobalID(p.b)), p);
  }
  removeAll(data, invalidated);
  ret valuesList(data);
}