Apply constraint-propagate-if info even if the then branch has none

This wasn't an issue when the else branch always received the negation
of the then branch, but constraint-propagate-if can adjoin arbitrary
constraints.