[BLANUS] Conflits solving.

 + Conflicts solving added (includes promotion, degradation, return)
 + Static function that can generate Condition for all possible combination
   of parameter variables.
 + Possible relationship between non-neighbour step levels.