Symbol: label_check_assoc