value flow: assume that value of global const variable is not changed