Add is_correct field in UserProblem to store problem's correctness.
user location instead of unit for LabProxy