Java: Override dominates to reference the right type.

Author: aschackmull

java/ql/lib/semmle/code/java/controlflow/BasicBlocks.qll

@@ -79,6 +79,14 @@ class BasicBlock extends BbImpl::BasicBlock {
   /** Gets the immediately enclosing callable whose body contains this node. */
   Callable getEnclosingCallable() { result = this.getScope() }
 
+  /**
+   * Holds if this basic block dominates basic block `bb`.
+   *
+   * That is, all paths reaching `bb` from the entry point basic block must
+   * go through this basic block.
+   */
+  predicate dominates(BasicBlock bb) { super.dominates(bb) }
+
   /**
    * DEPRECATED: Use `getASuccessor` instead.
    *