Дополнительные фильтры.

Другие формальные анализы вырисовывают ключевые моменты, где надо принимать решение.
Это, естественно, требуется переносить на бумагу.