ConditionalChecks should not have a return value as it is only valid in
the case that the condition is true. In other cases a not-checked value
would be returned. From the semantic context of ConditionalCheck the
checked value must only be used if the condition is true, as such, a
return value does not make any sense.