req2, statediagram, trace to statechart updated