1. Faculty of Physics, Astronomy and Applied Computer Science, Institute of Theoretical Physics, Jagiellonian University, 30-348 Kraków, Poland
2. Bordeaux Computer Science Laboratory (LaBRI), University of Bordeaux, 351 cours de la Liberation, 33405 Talence, France