docs: def update(self, other):
          """
          Augment this SimLibrary with the information from another SimLibrary
  
          :param other:   The other SimLibrary
          """
          self.procedures.update(other.procedures)
          self.non_returning.update(other.non_returning)
          self.prototypes.update(other.prototypes)
          self.default_ccs.update(other.default_ccs)