Simplified "IsDefined" predicate