Closes all formulas on the right of the sequent existentially and all formulas on the left universally.
Closes the given formula existentially
Closes the given formula existentially
the formula to be closed
exists x_1 ... exists x_n f, where {x_i | 1 <= i <= n} = FV(f)