let term_calls = Fol.term_calls