ProblemsView is able to filter problems #762