Quantifier Instantiations: To Mimic or To Revolt?