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.