changed default option for quantifier instantiation