do not introduce unnecessary selector variable when asserting a soft constraint