Так очевидно же, что если мы имеем сложность связей-состояний в задаче, то нужно иметь как можно меньше этих связей-состояний собственно инструмента. Иначе по тем же состояниям получается фактор-автомат. Вот и прыгают.
Если, конечно, забить на задачи, а только самоудовлетворяться через чтение томов Бьярна и Ко.