Impact of sample correlation on SISRE overbound for ARAIM. Issue 1 (5th February 2020)