Design by contract style assertion.