Added tasks 2 and 3 to the graph analyzer. Fixed a bug in CTG->EG that sometimes caused an erroneous terminating edge to appear when going from EG->CTG->EG