[microcolonel]

I guess they do not use value numbering, which is typically how you get equivalent results for cases like this.