Python: add missing * (and a rename)

python/ql/src/experimental/dataflow/internal/DataFlowPublic.qll

@@ -178,9 +178,9 @@ class BarrierGuard extends GuardNode {
   /** Gets a node guarded by this guard. */
   final ExprNode getAGuardedNode() {
     exists(EssaDefinition def, ControlFlowNode node, boolean branch |
-      AdjacentUses::aUse(def, node) and
+      AdjacentUses::useOfDef(def, node) and
       this.checks(node, branch) and
-      AdjacentUses::aUse(def, result.asCfgNode()) and
+      AdjacentUses::useOfDef(def, result.asCfgNode()) and
       this.controlsBlock(result.asCfgNode().getBasicBlock(), branch)
     )
   }

python/ql/src/semmle/python/essa/SsaCompute.qll

@@ -506,12 +506,10 @@ private module SsaComputeImpl {
      * Holds if the value defined at `def` can reach `use`, possibly through phi nodes.
      */
     cached
-    predicate aUse(EssaDefinition def, ControlFlowNode use) {
-      firstUse(def, use)
-      or
+    predicate useOfDef(EssaDefinition def, ControlFlowNode use) {
       exists(ControlFlowNode firstUse |
         firstUse(def, firstUse) and
-        adjacentUseUse(firstUse, use)
+        adjacentUseUse*(firstUse, use)
       )
     }
   }