Now that ScalarEvolution::print writes to the correct stream, there is