Fluent conditions with verifiable code contracts.