let pred_calls = Fol.pred_calls