seperate method scoped mutatio state from class scoped state
index mutation by instruction
remove dead code
record instruction before other manipulation
merge with external index