38fa0122e8
This change is needed for correct work of data flow, because for non-exhaustive when there is a else branch in terms of control flow graph. This change leads to some errors when when is actually exhaustive, but we still add else branch. Those errors will be gone when exhaustive checker will be introduced