extracted bellmanBackup method to solvers.h