1. The French National Centre for Scientific Research (CNRS), Research Institute on the Foundations of Computer Science, 75013 Paris, France
2. Department of Computer Science, University of Haifa, Haifa 3303221, Israel
3. The French National Centre for Scientific Research (CNRS), French-Israeli Laboratory on Foundations of Computer Science, Tel-Aviv 6329907, Israel