Simplify variable_sensitivity_domain_factoryt's inheritance

Author: martin

src/analyses/variable-sensitivity/variable_sensitivity_domain.h

@@ -218,14 +218,11 @@ class variable_sensitivity_domaint : public ai_domain_baset
 #endif
 };
 
-template <>
-class ai_domain_factory_default_constructort<variable_sensitivity_domaint>
+class variable_sensitivity_domain_factoryt
   : public ai_domain_factoryt<variable_sensitivity_domaint>
 {
 public:
-  ai_domain_factory_default_constructort() = delete;
-
-  explicit ai_domain_factory_default_constructort(
+  explicit variable_sensitivity_domain_factoryt(
     variable_sensitivity_object_factory_ptrt _object_factory)
     : object_factory(_object_factory)
   {
@@ -242,9 +239,6 @@ class ai_domain_factory_default_constructort<variable_sensitivity_domaint>
   variable_sensitivity_object_factory_ptrt object_factory;
 };
 
-using variable_sensitivity_domain_factoryt =
-  ai_domain_factory_default_constructort<variable_sensitivity_domaint>;
-
 #ifdef ENABLE_STATS
 template <>
 struct get_domain_statisticst<variable_sensitivity_domaint>