let export_goal f p = let ids = add_depend_pred Iset.empty p in export f (fun visit -> Iset.iter visit ids)