podría resultar en el siguiente código IR después de la progagación de expresiones: