used the real bytecode index in model classes instead of the ir one
from analysis effected vars are identified and available through the
analysis result; restructured some packages