Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts