Implement splitTag() using ASR.