An embedded message was scrubbed... From: Fausto Spoto <fausto.spoto at univr.it> Subject: Re: Nullness inference Date: Fri, 26 Dec 2008 18:30:57 +0100 Size: 57810 Url: https://lists.csail.mit.edu/mailman/private/checkers/attachments/20081227/197d00eb/attachment-0001.eml