Avoiding Pitfalls in Contracts Package