Document testedBranch

java/ql/lib/semmle/code/java/PrettyPrintAst.qll

@@ -16,7 +16,7 @@ predicate pp(ClassOrInterface c, string s, int line) {
       exists(PpAst e | getEnclosingAst*(e) = c | ppPart(e, part, line, i))
     |
       part order by i
-    )
+  )
 }
 
 private PpAst getEnclosingAst(PpAst e) {

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

@@ -223,7 +223,7 @@ class TypeTestGuard extends Guard {
   }
 
   /**
-   * Holds if this guard tests whether `e` has type `t`.
+   * Holds if this guard tests whether `e` has type `t` on `testedBranch`.
    *
    * Note that record patterns that make at least one tighter restriction than the record's definition
    * (e.g. matching `record R(Object)` with `case R(String)`) means this only guarantees the tested type