Implemented available-specializations function