value flow: Fixed testing