let
huge_term =
Fol
.huge_term