A resolution of the static formulation question for the problem of computing the history bound