Simple, lightweight module that enables design by contract