refactored "used definitions" class