if (!error && checkBoxIrrelevantInferences.isSelected()){
abstractExecutableFile = new IrrelevantInferencesDetector(temporaryDirectory, destinationFile.getName());
error = check("[Infe] ", abstractExecutableFile, 250);
}
if (!error && checkBoxIrrelevantIterativeSteps.isSelected()){
abstractExecutableFile = new IrrelevantIterativeStepsDetector(temporaryDirectory, destinationFile.getName());
error = check("[Iter] ", abstractExecutableFile, 250);
}
if (!error && checkBoxIrrelevantLabel.isSelected()){
abstractExecutableFile = new IrrelevantLabelDetector(temporaryDirectory, destinationFile.getName());
error = check("[Label] ", abstractExecutableFile, 50);