change variable name
use bellman residual for stopping condition