flow-dependent -> flow-sensitive