[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. - [Manager](https://github.com/ths-rwth/smtrat/blob/60293fb3a9c46a426f359245359876b4973d94f8/src/smtrat-solver/Manager.cpp#L51 "Destructor for Manager") - [Substitution](https://github.com/ths-rwth/smtrat/blob/18d2069a26674f638396071d82c109d33bc1857d/src/smtrat-modules/VSModule/Substitution.cpp#L52 "Destructor for Substitution") - [TotalizerTree](https://github.com/ths-rwth/smtrat/blob/18d2069a26674f638396071d82c109d33bc1857d/src/smtrat-modules/PBPPModule/Encoders/TotalizerEncoder.h#L45 "Destructor for TotalizerTree")
