Is it vacuous to check redundancy, or is it redundant to check vacuity? - Henkel, Elisabeth; Hauff, Nico; Langenfeld, Vincent; Funk, Lena; Podelski, Andreas (Requirements Engineering, 2025)