Simplified Design by Contract for JavaScript