Subanalytic_set loading ...