Java: share code with dotDotCheckGuard

Author: Jami Cogswell

java/ql/lib/semmle/code/java/security/PathSanitizer.qll

@@ -143,8 +143,7 @@ private predicate dotDotCheckGuard(Guard g, Expr e, boolean branch) {
   //  String strPath = path.toString();
   //  if (!strPath.contains("..") && strPath.startsWith("/safe/dir"))
   //    sink(path);
-  branch = g.(PathTraversalGuard).getBranch() and
-  localTaintFlowToPathGuard(e, g) and
+  pathTraversalGuard(g, e, branch) and
   exists(Guard previousGuard |
     previousGuard.(AllowedPrefixGuard).controls(g.getBasicBlock(), true)
     or