Checks if policy guarantees freeing all elements. Please note that it works on a concrete policy only.
true if the policy guarantees freeing all elements.
true