명령형 언어의 데이터플로우의 변환을 위한 효율적인 게이팅 함수 삽입 알고리즘