У некоторых разрабов мозг как-то по-другому работает. Недавний пример: есть две булевые переменные, есть ветвление в стиле "если а, то (если б подпрыгни, иначе похлопай)"
Разраб видит, что надо проверить ветку подпрыгни, ветку похлопай и ветку "не а". Разраб прав с точки зрения покрытия веток, но не прав с точки зрения покрытия значений переменных, мы полчаса сражались, чтобы было 4 теста вместо трех, так как бизнес логика поведения этих переменных сильно нестабильна)
Вопрос скорее был даже не в том, что там обязательно должно было быть 4 теста, а в том, что разраб вообще сооовсем не понимал, как их может быть 4, тут же все очевидно!