let
term_calls =
Fol
.term_calls