let huge_term = Fol.huge_term