Separate priority and non-priority inference flow

[MksmOrlov]

Is your feature request related to a problem? Please describe.
Separate the logic for applying inference rules from the logic for bypassing formulas with or without precedence