if (!error && checkBoxInaccessibleItems.isSelected()){
abstractExecutableFile = new InaccessibleItemsDetector(temporaryDirectory, destinationFile.getName());
error = check("[InacItem] ", abstractExecutableFile, 50);
}
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);