fixed encoded value iteration for changed transition function