value flow: a bit better handling of assigned variable