made internal calls to this->convertToPrenex()