Member predicate Member::isPrivate

Holds if this member is private.

predicate isPrivate()