These low level conversions are not usually invoked directly by the user. However, there are cases when they turn out to be useful.
RecUnfoldTopC and RecFoldTopC work only with recursive
definitions that have been introduced with the recdef function.
See Section 
for more details.