Member predicate Method::isFinalizer

Holds if this method is a destructor/finalizer.

predicate isFinalizer()