これで、codice_17のcodice_7部分は、codice_19で使われているcodice_7と同一になり、つまり1つのcodice_9インスタンスには1つのcodice_7だけが対応することになって、codice_23呼び出しが曖昧でなくなる。