R2670

A protocol state machine cannot have history vertices.

A protocol state machine specifies which operations of the classifier can be called in which state and under which conditions, thus specifying the authorized call sequences on the classifier’s operations. Therefore history vertices should not be used in a protocol state machine.

Delete any history vertices from the protocol state machine, or move them to

another state machine (not protocol).