When the `then` and `else` branches of a conditional node reach two disjoint sets of exit nodes do not consider that nodes in the `inflate` procedure.