code: def __init__(self, verifier):
      self.verifier = verifier
      self.ffi = verifier.ffi
      self._struct_pending_verification = {}
      self._types_of_builtin_functions = {}
  
imports: import sys
  from .None import model
  from .error import VerificationError
  from .None import _imp_emulation
label_desc: Use image node_id 1 to create a new VCPythonEngine object from inherited base classes: object with example: obj = VCPythonEngine(verifier)