Avoid instanceof.
JAVAC.FINALLY filter.
Specify test cases in bytecode.