Condition coverage and missed validations in Storage containers