code: public boolean recordModifies(Set<String> modifies) {
      if (!hasAnySingletonSideEffectTags()
          && currentInfo.setModifies(modifies)) {
        populated = true;
        return true;
      } else {
        return false;
      }
    }
docs: Records the list of modifies warnings.