On the Probability and Automatic Search of Rotational-XOR Cryptanalysis on ARX Ciphers. (24th September 2021)