1. Department of Computer Science, KU Leuven, 3001 Leuven, Belgium
2. Mathematical Institute, Utrecht University, PO Box 80010, 3508 TA Utrecht, The Netherlands
3. School of Mathematics, University of Edinburgh, James Clerk Maxwell Building, Kings Buildings, Edinburgh EH9 3JZ, UK