Renamed to dkubb/axiom-optimizer