Redirecting to Design by contract