(PROGRAM (VAR v 2) (CFG (CFGPROD X (CFGPRODELEMSET "foo"))) (CFG (CFGPROD X (CFGPRODELEMSET (CFGOPTION Y) (CFGPLUS Foo) (CFGSTAR Bar)))) (CFG (CFGPROD Z (CFGPRODELEMSET "a") (CFGPRODELEMSET "b") (CFGPRODELEMSET (CFGCHARRANGE 'a' 'z')))) (CFG (CFGPROD V (CFGPRODELEMSET "\'" X "\'"))))