Pattern unordered

Finally, it is handle in constant_folding (There is a big dict constant folding leading to issue for Travis.)