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