added some addition mistakes to IntAddProblem