cleaned up IntSubProblem and added more documentation