flow-sensitive