Type inferred from Invoke argument is not necessary final: for example subclass passed in as argument.
Clone annotation referring to missing methods.
Handling references to missing fields in existing class, in a hackish way.
*hackishly* Handling calls to missing method during instrumentation