*Se arregla verificacion semantica de funciones