PKB Destructor assign NULL to pointer after destroyed #59