code: def test_is_successort():
      w = Ordinal(OmegaPower(5, 1))
      assert not w.is_successor_ordinal
  
file_path: sympy/sympy/sets/tests/test_ordinals.py
imports: from sympy.sets.ordinals import Ordinal, OmegaPower, ord0, omega
  from sympy.testing.pytest import raises
label_desc: Use image node_id 9 for calling a global function with example usage: test_is_successort() without return types