migrate to EFSM model containing only concurrent assignments
Detected in build:
Published in build:
EFSM model contains only concurrent (non-blocking) assignments.
Probably, EFSM-based test generator should be modified to support this issue.