Re: Shortcut evaluation for hierarchy of in contracts

[Timon Gehr]

Disregard "That is case 3. And it is perfectly valid."

I had in contract and precondition mixed up there myself. sry.