code: public Set<String> getModifies() {
      Set<String> modifies = info == null ? null : info.modifies;
      return modifies == null ? Collections.<String>emptySet() : modifies;
    }
docs: Returns the set of sideeffect notations.