Pattern unordered

constant_folding may replace a node by the exact same node (2 can be evaluate to 2 and it is done this way) so I check if both nodes look identical instead of looking if a replacement happen.