Extend ScalarEvolution's multiple-exit support to compute exact