Tweaking Contracts for static checker