Member predicate UserType::hasName

predicate hasName(string name)