Reading the Google design by contract work, I realized that we do not cover
cross-parameter validation in method-level validation.
//We want to make sure departure is after arrival.
void book(Date arrival, Date departure);
Any idea on ow best to address that?