fixes a bug where incomplete sequents with maximum depth for existential quantifiers weren't instantiated correctly