property definition refactoring sample