.github/__main__: add GENERATED_TOP_CELL import

Author: ehildenb

kevm-pyk/src/kevm_pyk/__main__.py

@@ -14,6 +14,7 @@
 from pyk.kcfg import KCFG
 from pyk.ktool.kit import KIT
 from pyk.ktool.krun import KRunOutput, _krun
+from pyk.prelude.k import GENERATED_TOP_CELL
 from pyk.prelude.ml import mlAnd, mlTop
 from pyk.utils import shorten_hashes