[An extra null pointer check is not needed in functions](https://isocpp.org/wiki/faq/freestore-mgmt#delete-handles-null "Do I need to check for null before delete p?") like the following. - [DiscreteInclusionMarkingFactory::Release](https://github.com/lip6/libITS/blob/10a8cb6031525874b52f5f7889e29851be797dd4/its/TypeBasics.cpp#L14 "DiscreteInclusionMarkingFactory::Release function") - [EntrySolver::CreateLastResetAtLookupTable](https://github.com/TAPAAL/verifytapn/blob/10ed14ce3e6f02b1329e0eaea49d02d9c880fa62/src/ReachabilityChecker/Trace/EntrySolver.cpp#L14 "EntrySolver::CreateLastResetAtLookupTable function") - [NotExpression](https://github.com/TAPAAL/verifytapn/blob/862191b8d6e516217c7cef668d86caafd16118fd/src/Core/Query/AST.hpp#L48 "Destructor for NotExpression")
