Remove useless getters and setters in ProblemStats