Ternary.yes if the allocator is empty, Ternary.no otherwise. Never returns Ternary.unknown.
See Implementation