[CLEANUP] Clean up the ControlFlowGraph and its related classes a bit.
[CLEANUP] Clean up the TacConverter, Variable and CFG.
[TASK] Add an example PHP file plus parse tree diagram.