I have a problem converting kotlin.collections.AbstractCollection to Jimple. Unfortunately, the contains() method is translated in a version where a local is accessed but never defined due to some internal updates made on the stack and local variables during parsing. The definition statement for this local is replaced by nothing during parsing but other statements that use this local stay unchanged.