Uninitialized struct member: fixed false negative when struct assignment is seen
Uninitialized member variable: Fixed false negative when struct is read
Refactoring of CheckOther::checkModuloAlwaysTrueFalse using AST
Fixed #5778 (False positive: Deallocating a deallocated pointer when exit function is called)