Pattern unordered

I prefer it to be an Internal Error for now. If it appears that it is a too hard constraint., may be we will have to handle it an other way but at least we will know that an issue happened.