Artifact for ICFP'21 submission #15: Deriving efficient program transformations from rewrite rules - Anonymous (2021)