#invariantes de flujo de datos