As with other patches before, the simplification callback interface requires us to go through the Attributor::getAssumedSimplified API first before we recurs. It is unclear if the problem can be explicitly tested with our current infrastructure.