In the reference to the original post I don't think IB ever accepts long stocks as a margin for short ES, only cash. In case of portfolio margining when the risk is calculated on the entire portfolio I doubt the positions would have been liquidated.
In all fairness to IB.