Implement pseudo operations' translation