First working example of the PDT Refactoring