dynamic: switch CryptographicOperation::Range#getBlockMode() back to being an abstract predicate

Author: alexrford

javascript/ql/lib/semmle/javascript/internal/ConceptsShared.qll

@@ -72,7 +72,7 @@ module Cryptography {
        * This may have no result - for example if the `CryptographicAlgorithm` used
        * is a stream cipher rather than a block cipher.
        */
-      BlockMode getBlockMode() { none() }
+      abstract BlockMode getBlockMode();
     }
   }
 

python/ql/lib/semmle/python/internal/ConceptsShared.qll

@@ -72,7 +72,7 @@ module Cryptography {
        * This may have no result - for example if the `CryptographicAlgorithm` used
        * is a stream cipher rather than a block cipher.
        */
-      BlockMode getBlockMode() { none() }
+      abstract BlockMode getBlockMode();
     }
   }
 

ruby/ql/lib/codeql/ruby/internal/ConceptsShared.qll

@@ -72,7 +72,7 @@ module Cryptography {
        * This may have no result - for example if the `CryptographicAlgorithm` used
        * is a stream cipher rather than a block cipher.
        */
-      BlockMode getBlockMode() { none() }
+      abstract BlockMode getBlockMode();
     }
   }