create definition of PCF in Spoofax