If f is a formula \forall x_1 ...
If f is a formula \forall x_1 ... x_n G, and lst is a list of lists of terms such that each list has length <= n, this function returns the list of instances of f obtained by calling instantiate on each list of terms.
Instantiates the initial quantifiers of a formula with the given list of terms
Instantiate a formula with a term by replacing the first quantifier
Instantiates a formula with terms.