Specification of the prototype refactoring