Reduce formulas checking

[MksmOrlov]

Is your feature request related to a problem? Please describe.
It is necessary to consider only those rules that contain the classes of the current set of parameters in their left part.