Add integrality constraints on variables implicitly defined as integers through ismember constructs