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).