Чекер на непротиворечивость if условий, в том числе с учетом вложенности