On Disjunction of Literals in Triggers of Statecharts Transitions