Added code documentation for DefinitionManager