pub(crate) async fn insert_after_exercise_task_graded(
    conn: &mut PgConnection,
    set_user_variables: &Option<HashMap<String, Value>>,
    exercise_task: &ExerciseTask,
    user_exercise_state: &UserExerciseState
) -> ModelResult<()>