Symbol: mem_unum_contains