DefinitionManager added to RandomContext