It doesn't know that, no. It can guess that a phased package was kept back due to phasing, but the solvers don't track reasons for any decisions so it can't go past that.
It doesn't know that, no. It can guess that a phased package was kept back due to phasing, but the solvers don't track reasons for any decisions so it can't go past that.