BytecodeAnalysisConverter: check previous logic version