RuleGeneratorAdaptor.visitFrame tracks the types of local vars using a stack of Type. It fails to insert an entry into the stack when a frame slot is tagged with type Opcode.TOP with the result that the stack height does nto match the lcoal variable count. It should actually be using type Object at this point.