@Override
 public void run() {
   if (featureModel.getAnalyser().calculateTautologyConstraints) {
     featureModel.getAnalyser().calculateTautologyConstraints = false;
   } else {
     featureModel.getAnalyser().calculateTautologyConstraints = true;
     // featureModel.getAnalyser().calculateRedundantConstraints = true;
     featureModel.getAnalyser().calculateFeatures = true;
     featureModel.getAnalyser().calculateConstraints = true;
   }
   featureModel.handleModelDataChanged();
 }