Finishing master thesis.
* BUGRepair: CodeElement traversing was incorrect.
* BUGRepair: Literal instances were keeping dirty flag from previous run.
* Enhancing CIL transcription.
* Enhancing Dirty instances display