Fixed boolean operators not enabled in some cases

src/main/java/dk/aau/cs/verification/VerifyTAPN/VerifyDTAPNOptions.java

@@ -139,6 +139,7 @@ public String toString() {
 			result.append(gcd ? " --gcd-lower " : ""); // GCD optimization is not sound for workflow analysis
 		}
 
+		result.append(" --bindings");
 		return result.toString();
 	}
 

src/main/java/dk/aau/cs/verification/VerifyTAPN/VerifyPNOptions.java

@@ -268,6 +268,7 @@ public String toString() {
 		    result.append(" --col-reduction 0 ");
         }
 
+        result.append(" --bindings");
 		return result.toString();
 	}
 

src/main/java/dk/aau/cs/verification/VerifyTAPN/VerifyTAPNOptions.java

@@ -122,6 +122,7 @@ public String toString() {
 		result.append(' ');
 		result.append(discreteInclusion ? " --inclusion-check 1" : "");
 		result.append(discreteInclusion ? " --inclusion-places " + generateDiscretePlacesList() : "");
+		result.append(" --bindings");
 		return result.toString();
 	}
 

src/main/java/net/tapaal/gui/petrinet/dialog/QueryDialog.java

@@ -827,13 +827,13 @@ private void updateQueryButtonsAccordingToSelection() {
         }
 
         if ((lens.isGame() || lens.isTimed() || queryType.getSelectedIndex() != 0) &&
-             current instanceof TCTLAbstractPathProperty || newProperty instanceof TCTLPathPlaceHolder) {
+             (current instanceof TCTLAbstractPathProperty || newProperty instanceof TCTLPathPlaceHolder)) {
 
             boolean enableBooleanOperators = !(current instanceof LTLANode || current instanceof LTLENode) && queryType.getSelectedIndex() != 0;
 
             disjunctionButton.setEnabled(enableBooleanOperators);
             conjunctionButton.setEnabled(enableBooleanOperators);
-            negationButton.setEnabled(enableBooleanOperators || !lens.isGame() && lens.isTimed()); 
+            negationButton.setEnabled(enableBooleanOperators); 
         }
 	}