Fix false negative in UselessAssignment with exclusive branches

This fixes #1211.