checkfortraintemp

State Kind

CompositeState

Parent State

TOP

Substates	Initial	Junction1	Junction2
Junction3	Junction4

Transitions	iftempisless	iftempismore	t1
t1