Member predicate Method::Method::isSecureObject

Holds of this method is marked as secure.

predicate isSecureObject()