Module read_back
minitt
Read back: read back functions, converting terms to normal forms with de-bruijn indices so we do not need to deal with alpha conversions.
genV in Mini-TT.
genV