Described possible mistakes detected by the verification tool currently.