st.Statechart determines the <a href=
    "definitions.html#InnermostCommonContext">innermost common context</a> of
    the transition-source and destination state at compile time. Moreover,
    compile time checks ensure that the state machine is valid (e.g. that
    there are no transitions between orthogonal states).</li>

    <li>Double dispatch must inevitably be implemented with some kind of a
    table. As argued under <a href="performance.html#DoubleDispatch">Double
    dispatch</a>, this scales bad