tweak solver_identical so that applications ignore requires