Fixed a bug with the WAW dependency check rule

- I was doing destination and predicate instead of destination and
destination.
- This makes the code slower but correct