A function program transfORmation technique invented by Turchin. A program is evaluated symbolically in ORder to observe the possible histORy of computation states called configurations. Based on this Turchin' s REFAL compiler would try to construct a better program.