code: def test_verify_normal_closure():
      # verified by GAP
      S = SymmetricGroup(3)
      A = AlternatingGroup(3)
      assert _verify_normal_closure(S, A, closure=A)
      S = SymmetricGroup(5)
      A = AlternatingGroup(5)
      C = CyclicGroup(5)
      assert _verify_normal_closure(S, A, closure=A)
      assert _verify_normal_closure(S, C, closure=A)
  
file_path: sympy/sympy/combinatorics/tests/test_testutil.py
imports: from sympy.combinatorics.named_groups import SymmetricGroup, AlternatingGroup, CyclicGroup
  from sympy.combinatorics.testutil import _verify_bsgs, _cmp_perm_lists, _naive_list_centralizer, _verify_centralizer, _verify_normal_closure
  from sympy.combinatorics.permutations import Permutation
  from sympy.combinatorics.perm_groups import PermutationGroup
  from sympy.core.random import shuffle
label_desc: Use image node_id 5 for calling a global function with example usage: test_verify_normal_closure() without return types