Fix to miplib trick to make it less "cautious" and apply in more cases