code: def initialize(self, symbolic_vm: LaserEVM):
          
  
          @symbolic_vm.pre_hook("SSTORE")
          def mutator_hook(global_state: GlobalState):
              global_state.annotate(MutationAnnotation())
  
          @symbolic_vm.laser_hook("add_world_state")
          def world_state_filter_hook(global_state: GlobalState):
              if And(
                  *global_state.mstate.constraints[:]
                  + [
                      global_state.environment.callvalue
                      > symbol_factory.BitVecVal(0, 256)
                  ]
              ).is_false:
                  return
              if isinstance(
                  global_state.current_transaction, ContractCreationTransaction
              ):
                  return
              if len(list(global_state.get_annotations(MutationAnnotation))) == 0:
                  raise PluginSkipWorldState
docs: Initializes the mutation pruner
  
          Introduces hooks for SSTORE operations
          :param symbolic_vm:
          :return: