
L'esercizio non specifica il tipo statico degli oggeti c, c' e sc.
In assenza di tale informazione non e' possibile stabilire quale
metodo verra' invocato nelle varie invocazioni.

Nel caso c e c' avessero tipo statico CType ed sc tipo statico SCType,
l'esercizio coincide con quando indicato nella sezione 2.5 del testo di K.Bruce.

Esercizio:
Fare l'esercizio supponendo che il tipo statico di c, c' ed sc dipenda dai primi tre assegnamenti
(cosa plausibile, visto che non e' specificata precisamente la
semantica del linguaggio)
