SLR values number limit
A new command line parameter for CGAA_to-EFSM transformer. It takes integer value (16 by default).
If the number of possible values for defined SLR via stabilization is less or equal than the limit, the sequence of states that contain equations with this SLR should be generated. After that, stabilization should continue.
If the number is greater than the limit, weakest precoditions should be passed to transition guards without EFSM state splitting.