Fast identifying redundant security constraints in SCUC in the presence of uncertainties. Issue 13 (14th May 2020)