Flow-sensitive typing