ts pushoff uses system.get_minimizer now