Zhiqiang Zang

Contract(nonnil->nonnil) will fix this because the two invocations of the same function foo will be treated separatedly.

Useful for debugging but for users maybe a TLDR version is better. >how do you think developers would react to something like the following Correct. We can infer some but...