Fix inference rule of Card.constant_name