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