Remove superfluous disjunct of beginAbruptCompletion

Author: owen-mc

go/ql/lib/semmle/go/controlflow/ControlFlowGraphShared.qll

@@ -732,12 +732,6 @@ module GoCfg {
       n.isIn(ast) and
       c.asSimpleAbruptCompletion() instanceof ExceptionSuccessor and
       always = false
-      or
-      ast instanceof Go::GotoStmt and
-      n.injects(ast) and
-      c.getSuccessorType() instanceof GotoSuccessor and
-      c.hasLabel(ast.(Go::GotoStmt).getLabel()) and
-      always = true
     }
 
     predicate endAbruptCompletion(Ast::AstNode ast, PreControlFlowNode n, AbruptCompletion c) {