Smarter MIPs elimination