Reuse already defined names in specs