Functions

Produces true if the destructor of P is guaranteed to be run.