Delete redundant checks in verifiesSignature()

Author: jorgectf

python/ql/src/experimental/semmle/python/libraries/PyJWT.qll

@@ -86,8 +86,6 @@ private module PyJWT {
     }
 
     override predicate verifiesSignature() {
-      this.hasNoVerifyArgumentOrOptions()
-      or
       not this.hasVerifySetToFalse() and
       not this.hasVerifySignatureSetToFalse()
     }

python/ql/src/experimental/semmle/python/libraries/PythonJose.qll

@@ -87,9 +87,6 @@ private module PythonJose {
     }
 
     override predicate verifiesSignature() {
-      // jwt.decode(token, "key", "HS256")
-      this.hasNoOptions()
-      or
       // jwt.decode(token, key, options={"verify_signature": False})
       not this.hasVerifySignatureSetToFalse()
     }