On detectability of Boolean control networks. (May 2020)