How can I get to know variables defined in the methods of a jimple file correspond to what variables in a java class file?

Question

Soot transforms a java class file into a jimple file with local variables renamed. Now I want to know the scheme based on which Soot does that.

Answer 1

Judging by code in the Soot repository here, it appears to use the original local names while using names prefixed with $ and a single-character reflecting the type for the generated ones.