Added descriptions of the aggressive dead code elimination and conditional constant propogation algorithms