Flow-sensitive typing
[es] Tipado sensitivo al flujo