Python: format shared CFG regression tests

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Author: yoff

python/ql/test/library-tests/ControlFlow/shared-cfg-exceptions/ExceptionReachabilityTest.ql

@@ -11,8 +11,10 @@ module ExceptionReachabilityTest implements TestSig {
   string getARelevantTag() { result = "exception-handler" }
 
   predicate hasActualResult(Location location, string element, string tag, string value) {
-    exists(Expr source, ExceptStmt handler, Cfg::ControlFlowNode sourceCfg,
-      Cfg::ControlFlowNode handlerEntry |
+    exists(
+      Expr source, ExceptStmt handler, Cfg::ControlFlowNode sourceCfg,
+      Cfg::ControlFlowNode handlerEntry
+    |
       sourceCfg.getNode() = source and
       handlerEntry = sourceCfg.getAnExceptionalSuccessor() and
       CfgImpl::astNodeToPyNode(handlerEntry.getAstNode()) = handler and

python/ql/test/library-tests/dataflow-new-ssa/SsaTest.ql

@@ -56,8 +56,10 @@ module SsaTest implements TestSig {
       value = phi.getSourceVariable().(SsaImpl::SsaSourceVariable).getVariable().getId()
     )
     or
-    exists(SsaImpl::PhiFunction phi, SsaImpl::EssaVariable variable, CfgImpl::BasicBlock bb,
-      Cfg::ControlFlowNode exit |
+    exists(
+      SsaImpl::PhiFunction phi, SsaImpl::EssaVariable variable, CfgImpl::BasicBlock bb,
+      Cfg::ControlFlowNode exit
+    |
       variable = phi and
       phi.definesAt(_, bb, _) and
       variable.getAUse() = exit and