fu minor cfg bug

Author: aschackmull

csharp/ql/lib/semmle/code/csharp/controlflow/ControlFlowGraph.qll

@@ -26,9 +26,15 @@ private module Ast implements AstSig<Location> {
 
   class AstNode = ControlFlowElementOrCallable;
 
+  private predicate skipControlFlow(AstNode e) {
+    e instanceof TypeAccess and
+    not e instanceof TypeAccessPatternExpr
+  }
+
   private AstNode getExprChild0(Expr e, int i) {
     not e instanceof NameOfExpr and
     not e instanceof AnonymousFunctionExpr and
+    not skipControlFlow(result) and
     result = e.getChild(i)
   }
 
@@ -344,7 +350,7 @@ private module Input implements InputSig1, InputSig2 {
     exists(QualifiableExpr qe | qe.isConditional() | n = getQualifier(qe))
   }
 
-  predicate postOrInOrder(Ast::AstNode n) { n instanceof YieldBreakStmt or n instanceof Call }
+  predicate postOrInOrder(Ast::AstNode n) { n instanceof YieldStmt or n instanceof Call }
 
   predicate beginAbruptCompletion(
     Ast::AstNode ast, PreControlFlowNode n, AbruptCompletion c, boolean always