protected static class TermTransformer.BuildApplicationTerm
Collect the arguments of an application term from the converted stack
and finish the conversion of appTerm. This is called after the arguments
of appTerm have been converted. It will put the converted term on
the converted stack and store it in the cache.