Semantica de expresiones casi completa. Falta llamada a PROC.