Code Contracts in JavaScript