labeling of PCF expressions revised
remove beta-normalisation from transformation;
free variables are inputs of program