(PROGRAM (CFG (CFGPROD S (CFGPRODELEMSET "a") CFGPRODELEMSET)))