Diagram for the refactoring specification