Let me see if I follow, problem_id is the definition_id of the hinter module, correct? If so, the variable name makes it a bit confusing.