lookupInterfaceMethod() in bc.c will now throw an IncompatibleClassChangeError instead of LinkageError if the receiver of an invokeinterface instruction doesn't implement the interface of the method.
Prevent Soot's TyeResolver from resolving fields. Soot may throw ResolutionFailedException but we want to check that later and generate code that throws an appropriate exception at runtime.
Prevent Soot's TypeResolver from inserting casts.