Member predicate UserType::UserType::isAnonymous

Holds if this type is anonymous.

predicate isAnonymous()