ValueFlow: Improved analysis after condition when ! operator is used