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