к вопросу о чистоте. как сделать код свободным от инфраструктрой логики. например нужно чтобы все вызовы логировались(название и параметры) и также обрабатывались и логировались исключения? может пример где есть.
Наверное потому, что property based тесты не используют для тестирования с применением магических чисел, как в твоём примере. Сам принцип property based тестов в другом, и мутации там как уже сказали - это извращение какое-то.