https://9lib.org/document/zx50dlwn-an-assessment-methodology-for-trace-reduction-techniques.html