Finished everything except gen/kill and graph printing