Account for constant equivalence properties in union, tests (#12562)

Account for constant equivalence properties in union, tests (#12562) #49