1280.13 Statecharts의 AND-분해 (직교 영역)