Returns Ternary.yes if b is the result of a previous allocation, Ternary.no otherwise.
See Implementation
Returns Ternary.yes if b is the result of a previous allocation, Ternary.no otherwise.