public function __unset($key) { if (isset($this->engine_state_registry[$key])) { unset($this->engine_state_registry[$key]); } }