Refactoring: small step towards a pull construction