1. Computer Science Institute CSI of Charles University, Malostranské náměstí 25, 118 00 Prague, Czech Republic.
2. Department of Mathematics, Simon Fraser University Burnaby, BC V5A 1S6 Canada. On leave from IMFM & FMF, Department of Mathematics, University of Ljubljana, Ljubljana, Slovenia.