ValueFlow: Fixed testcase