code obfuscations that hopefully quiet coverity ...
Use prototype search for function in TFormula.

This avoids the (useless) evaluation of fake
arguments and the related transactions and
their memory cost.

With this change the memory consumption related
to TFormula search for function is down to around
1K (related to the allocation of the memory buffer
and FileID needed to parse the argument list).
The vector of transactions contains at least m_Transactions.size() elements.
Use deque: we do not require the MemoryBuffers do be consecutive.