Added option to specify replacement in quantifier instantiation