Avoids swap problem when eliminating phi functions and therefore gets
back global value numbering optimization