[Bug 484668] Missing destructor of struct _Pool in python-satsolver