Antoine Miné: visitor from Patrick Cousot's team, Ecole Normale Superieure, Paris, France. Here at McGill? until april the 5-th. See http://www.di.ens.fr/~mine/perso/index.html.en.