modificaciones a formato codigo intermedio