Fix bug in expellContaining()

Fix a bug that prevents maxSatUZK from working correctly