fix import loading order issue with unit tests

pyk/src/pyk/testing/_kompiler.py

@@ -14,7 +14,6 @@
 from ..kast.outer import read_kast_definition
 from ..kcfg import KCFGExplore
 from ..kllvm.compiler import compile_runtime, generate_hints
-from ..kllvm.hints.prooftrace import kore_header
 from ..kllvm.importer import import_runtime
 from ..kore.kompiled import KompiledKore
 from ..kore.pool import KoreServerPool
@@ -34,6 +33,7 @@
 
     from ..kast.outer import KDefinition
     from ..kcfg.semantics import KCFGSemantics
+    from ..kllvm.hints.prooftrace import kore_header
     from ..kllvm.runtime import Runtime
     from ..ktool.kprint import SymbolTable
     from ..utils import BugReport
@@ -379,4 +379,6 @@ def header(self, definition_dir: Path) -> kore_header:
         path = str(definition_dir / 'header.bin')
         with open(path, 'wb') as f:
             f.write(hdr)
+        from ..kllvm.hints.prooftrace import kore_header
+
         return kore_header(path)