refactoring of claims from the robustness analyses: now we can use claims checks for assersions as well