PRE: refactoring expression