Don't emit bindassert when constraint is Mu.