Evaluating AI-supported eliminative argumentation for developing reliable assurance cases (EMSE, 2026)