Improved feature model subroutine descriptions

src/main/java/edu/kit/provideq/toolbox/featuremodel/anomaly/dead/SatBasedDeadFeatureSolver.java

@@ -32,7 +32,7 @@ public String getName() {
   public List<SubRoutineDefinition> getSubRoutines() {
     return List.of(
         new SubRoutineDefinition(ProblemType.SAT,
-            "Used to find valid configurations in the Feature Model"));
+            "Called per feature to determine if it is dead"));
   }
 
   @Override

src/main/java/edu/kit/provideq/toolbox/featuremodel/anomaly/voidmodel/SatBasedVoidFeatureSolver.java

@@ -30,7 +30,7 @@ public String getName() {
   public List<SubRoutineDefinition> getSubRoutines() {
     return List.of(
         new SubRoutineDefinition(ProblemType.SAT,
-            "Used to find valid configurations in the Feature Model"));
+            "Used to determine if there is any valid configurations of the Feature Model"));
   }
 
   @Override