performance optimizations for quantifier instantiation