let close_env env p =
    D.forall
      (List.map (fun (_,(f,_)) -> f) !env) p