Add cache to EqualityQueryQuantifiersEngine::getInstance().