evaluation graphs and refactoring