Inferidor de variables terminado