if the equal method of a symbolic realtion is called an the right side is a frozenset, enumartion (convert to explicit) is called now + test