value flow: start implementing value flow analysis of assigned value