A division property is a generic tool to search for integral distinguishers, and automatic tools such as MILP or SAT/SMT allow us evaluate the propagation efficiently. In application stream ciphers, it enables estimate security of cube attacks theoretically, leads best key-recovery against well-known ciphers. However, was reported that some based on degenerate distinguishing due inaccuracy prop...