Wie gesagt ist es nicht möglich, den "Normal"-Zustand per Fork Condition zu erkennen. Eine Möglichkeit, das Problem zu lösen, wäre, für alle Zustände Forks zu machen, die unter den Else-Cases ineinander verschachtelt sind.