expr1 belongs to uc1: True
expr2 belongs to uc2: True
expr1 does not belong to uc2: True