However, the following is simpler to implement, specify, and probably
understand:

  When a bean X is specialized by an enabled bean Y, X and all its
producer methods are considered disabled.

This definition lets us get rid of the whole notion of "most
specialized enabled bean".