Instrument Java bytecode using ASM library, implementing a simple reference counting model to test Java programs.