Analyzing statecharts.org...