Beyond Iteration Vectors: Instancewise Relational Abstract Domains. - Pierre Amiranoff; Albert Cohen 001; Paul Feautrier (SAS, 2006)