Added GetChangedStates method in Instruction class

Tracks "dead variables state" changes for all TAC instruction types,
except for:
- pointers
- indexed assignments