Retrascope

The command line parameter for CGAA_to-EFSM transformer.
The parameter is used in the transformer as follows:
When EFSM state construction procedure is started, a capacity for every SLR is calculated. After that all the capacities are multiplied and the total maximal number of EFSM states is calculated. If this number is less or equal to the specified parameter, the EFSM construction procedure is started. Neither orthogonalization no code-extracted expressions are needed. If the maximum number of the EFSM states is greater than the limit, then the existing procedure is started, but no state splitting is done. The weakest preconditions are put into the EFSM transition guards.